Towards a Mechanization of Cryptographic Protocal Verification
No abstract available.
Related papers
- Using Compositional Preorders in the Verification of Sliding Window Protocal CAV 1997
- Probabilistic relational verification for cryptographic implementations POPL 2014
- SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq TOPLAS 2023
- Formal verification of a constant-time preserving C compiler POPL 2020
- Refinement types for secure implementations TOPLAS 2011
- Automatic Verification of Time Sensitive Cryptographic Protocols TACAS 2004
- Type-Based Automated Verification of Authenticity in Cryptographic Protocols ESOP 2009
- Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques TACAS 1999