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 https://verifpal.com/install|bash"

Verifpal is free and open source software. Source code is available on the 💾Verifpal Source Repository.

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.

Scientific Background

A 📄Verifpal Scientific Paper is available for those interested in the project’s technical and research motivations.

Verifpal is inspired by the two decades of seminal work on formal verification by Prof. Bruno Blanchet, the author of the ProVerif formal verification software.

Stickers and Wallpapers

Show your support for Verifpal with a cool sticker from the 🛍️Verifpal Sticker Shop, or by downloading a nice Verifpal wallpaper (A, B) for your desktop!

© Copyright 2019- Nadim Kobeissi. All Rights Reserved. “Verifpal” and the “Verifpal” logo/mascot are registered trademarks of Nadim Kobeissi. Verifpal software is provided as free and open source software, licensed under the GPLv3. Verifpal User Manual, as well as this website, are provided under the CC BY-NC-ND 4.0 license. Published by Symbolic Software.

HTML5 Valid