PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols
No abstract available.
Related papers
- Compositional Analysis of Authentication Protocols ESOP 2004
- From Secrecy to Authenticity in Security Protocols SAS 2002
- Type-Based Automated Verification of Authenticity in Cryptographic Protocols ESOP 2009
- Cryptis: Cryptographic Reasoning in Separation Logic POPL 2026
- Authentication Primitives and Their Compilation POPL 2000
- A semantics for web services authentication POPL 2004
- Affine Refinement Types for Secure Distributed Programming TOPLAS 2015
- Peregrine: A Tool for the Analysis of Population Protocols CAV 2018