The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis
No abstract available.
Related papers
- The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols CAV 2008
- The AVISS Security Protocol Analysis Tool CAV 2002
- How to Securely Replicate Services TOPLAS 1994
- Model Checking Indistinguishability of Randomized Security Protocols CAV 2018
- Responsibility Analysis by Abstract Interpretation SAS 2019
- Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions TACAS 2025
- HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols CAV 2003
- The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications CAV 2005