Software & Media
Download Verifpal Software
Verifpal is available for Windows, Linux and macOS. On
Linux and macOS, quick (and less safe) installation is
possible by running:
bash -c "curl -sL
Verifpal is free and open source software. Source code is available on the 💾Verifpal Source Repository.
Verifpal is Experimental Software
Verifpal is still highly experimental software. Using it in a classroom or learning environment is welcome, but it should not yet be relied upon for academic formal verification work. For that, check out ProVerif.
Verifpal User Manual
Verifpal User Manual is an essential guide to getting started with cryptographic protocol analysis using Verifpal. The manual contains instructions on how to get started with Verifpal, example models, insight into how Verifpal analysis works, as well as two full examples illustrating modeling and analysis of the Signal secure messaging protocol and the Scuttlebutt decentralized gossip protocol in Verifpal.
Verifpal User Manual also contains a full-color, eight-page manga where Verifpal goes on an adventure to fight the evil Mayor N. D. Middle! Please click the User Manual cover to download your copy.
Buying physical copies: hardcover, full-color copies of the Verifpal User Manual are also available for purchase on Amazon: Amazon France, Amazon UK, Amazon Germany, Amazon Spain, Amazon Italy, Amazon USA.
A 📄Verifpal Scientific Paper is available for those interested in the project’s technical and research motivations.