Automated Unbounded Verification of Security Protocols
No abstract available.
DOI 10.1007/3-540-45657-0_24
Related papers
- Verification of Quantitative Hyperproperties Using Trace Enumeration Relations CAV 2020
- Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions OOPSLA 2023
- Model Checking Indistinguishability of Randomized Security Protocols CAV 2018
- Computationally Sound, Automated Proofs for Security Protocols ESOP 2005
- The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications CAV 2005
- SMT-Boosted Security Types for Low-Level MPC ESOP 2025
- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics CAV 2019
- Verification of Security Protocols VMCAI 2009