Pattern-Based Abstraction for Verifying Secrecy in Protocols
No abstract available.
Related papers
- From Secrecy to Authenticity in Security Protocols SAS 2002
- HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols CAV 2003
- Analyzing security protocols with secrecy types and logic programs POPL 2002
- Verifying Secrets and Relative Secrecy POPL 2000
- A Formally Verified Foundation for Compositional Heterogeneous Coherence PLDI 2026
- Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols ICFP 2023
- Verifying Hyperliveness CAV 2019
- Safety versus Secrecy SAS 1999