PSPSP – Performing Security Proofs of Stateful Protocols
Andreas Viktor Hess, DTU Compute · Sebastian Alexander Mödersheim DTU Compute · Achim D. Brucker, University of Exeter · Anders Schlichtkrull, Aalborg University
This paper describes a tool for Automated Verification of Stateful Protocols in Isabelle/HOL.
- Published April 2024