SPEC: An Equivalence Checker for Security Protocols
Abstract elided by the publisher.
Related papers
- Analyzing security protocols with secrecy types and logic programs POPL 2002
- The DEEPSEC Prover CAV 2018
- Leapfrog: certified equivalence for protocol parsers PLDI 2022
- Parallel Equivalence Checking of Stabilizer Quantum Circuits on GPUs TACAS 2025
- Formally Verified EVM Block-Optimizations CAV 2023
- CoPS - Checker of Persistent Security TACAS 2004
- SATMC: A SAT-Based Model Checker for Security-Critical Systems TACAS 2014
- Authentication Primitives and Their Compilation POPL 2000