Tag
This paper presents the revised analysis engine for Verifpal, a symbolic protocol verifier, detailing its formal specification, proofs, and evaluation against other tools like ProVerif and Tamarin.