AGVI - Automatic Generation, Verification, and Implementation of Security Protocols
Abstract elided by the publisher.
Related papers
- HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols CAV 2003
- SMT-Boosted Security Types for Low-Level MPC ESOP 2025
- Modular verification of security protocol code by typing POPL 2010
- Partial Order Reductions for Security Protocol Verification TACAS 2000
- Probabilistic relational verification for cryptographic implementations POPL 2014
- Verified interoperable implementations of security protocols TOPLAS 2008
- Verification of Security Protocols VMCAI 2009
- Automated Unbounded Verification of Security Protocols CAV 2002