What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis
No abstract available.
Related papers
- Invited Address: Applying Formal Methods to Cryptographic Protocol Analysis CAV 2000
- Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience CPP 2011
- Cryptis: Cryptographic Reasoning in Separation Logic POPL 2026
- Verified interoperable implementations of security protocols TOPLAS 2008
- A Core Calculus for Equational Proofs of Cryptographic Protocols POPL 2023
- SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq TOPLAS 2023
- HACCLE: metaprogramming for secure multi-party computation GPCE 2021
- A semantics for web services authentication POPL 2004