Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols
Abstract elided by the publisher.
Related papers
- SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq TOPLAS 2023
- Probabilistic relational verification for cryptographic implementations POPL 2014
- Foundational Integration Verification of a Cryptographic Server PLDI 2024
- Verifying Indistinguishability of Privacy-Preserving Protocols OOPSLA 2023
- Formal certification of code-based cryptographic proofs POPL 2009
- Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques TACAS 1999
- Cryptis: Cryptographic Reasoning in Separation Logic POPL 2026
- Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience CPP 2011