Invited Address: Applying Formal Methods to Cryptographic Protocol Analysis
No abstract available.
Related papers
- What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis ESOP 2003
- A semantics for web services authentication POPL 2004
- A Core Calculus for Equational Proofs of Cryptographic Protocols POPL 2023
- A Bisimulation Method for Cryptographic Protocols ESOP 1998
- Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols CAV 1998
- SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq TOPLAS 2023
- Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation ESOP 2004
- Cryptographic Protocol Analysis on Real C Code VMCAI 2005