TAPS: A First-Order Verifier for Cryptographic Protocols
No abstract available.
Related papers
- Refinement types for secure implementations TOPLAS 2011
- Partial Order Reductions for Security Protocol Verification TACAS 2000
- Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) CAV 2019
- Cryptis: Cryptographic Reasoning in Separation Logic POPL 2026
- Verified interoperable implementations of security protocols TOPLAS 2008
- Modular verification of security protocol code by typing POPL 2010
- Regular Abstractions for Array Systems POPL 2024
- A semantics for web services authentication POPL 2004