PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL. - Hess, Andreas Viktor; Mödersheim, Sebastian Alexander; Brucker, Achim D; Schlichtkrull, Anders (Journal of Computer Security, 2025)