Type-Based Automated Verification of Authenticity in Cryptographic Protocols
Abstract elided by the publisher.
Related papers
- A semantics for web services authentication POPL 2004
- Cryptis: Cryptographic Reasoning in Separation Logic POPL 2026
- Refinement types for secure implementations TOPLAS 2011
- Automated Verification of Equivalence Properties of Cryptographic Protocols ESOP 2012
- Affine Refinement Types for Secure Distributed Programming TOPLAS 2015
- Authentication Primitives and Their Compilation POPL 2000
- Modular verification of security protocol code by typing POPL 2010
- Verifying Indistinguishability of Privacy-Preserving Protocols OOPSLA 2023