An Improved Constraint-Based System for the Verification of Security Protocols
No abstract available.
Related papers
- Distilling Constraints in Zero-Knowledge Protocols CAV 2022
- Partial Order Reductions for Security Protocol Verification TACAS 2000
- Verification of Security Protocols VMCAI 2009
- Automated Unbounded Verification of Security Protocols CAV 2002
- The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols CAV 2008
- AGVI - Automatic Generation, Verification, and Implementation of Security Protocols CAV 2001
- HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols CAV 2003
- Modular verification of security protocol code by typing POPL 2010