Computationally Sound, Automated Proofs for Security Protocols
Abstract elided by the publisher.
Related papers
- Automated Unbounded Verification of Security Protocols CAV 2002
- The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications CAV 2005
- Divide and Conquer: A Compositional Approach to Game-Theoretic Security OOPSLA 2025
- SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq TOPLAS 2023
- PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation CAV 2022
- Models and Proofs of Protocol Security: A Progress Report CAV 2009
- Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience CPP 2011
- Model Checking Indistinguishability of Randomized Security Protocols CAV 2018