Compositional Analysis of Authentication Protocols
Abstract elided by the publisher.
Related papers
- PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols CAV 1999
- 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
- Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques TACAS 1999