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.