Cryptographic protocol analysis for real-world cryptographic protocols.
Verifpal is a symbolic formal verification tool for cryptographic protocols. You
describe a protocol in the Verifpal language, state security queries about it, and
Verifpal searches for an attack that breaks them, printing the trace of any attack
it finds.
Changelog
| Publisher | Symbolic Software |
|---|---|
| Version | 1.6.6 |
| Release date | 2026-10-11 |
| License | GPL-3.0-only |
| Installer type | zip |
| Architecture | x64 |
| Package ID | SymbolicSoftware.Verifpal |
Install Verifpal from the command line with Windows Package Manager (winget):
winget install --id=SymbolicSoftware.Verifpal -e
Comprehensive file protection software
OpenSSL: A Key Tool for Digital Security
Gpg4win: A Free Security Program for Windows
GNU Privacy Guard (GnuPG or GPG) is a free-software replacement for Symantec's PGP cryptographic software suite.
Kerberos is a network authentication protocol. It is designed to provide strong authentication for client/server applications by using secret-key cryptography.
The Yggdrasil network is a decentralized, peer-to-peer network that aims to create a more resilient and private internet infrastructure.
AxCrypt File Encryption Software - Free Personal Privacy and Security for Windows 2000/XP/Vista or later with AES-128 File Encryption, Compression and transparent Decrypt and Open in the original appl
NordLocker is a secure and easy-to-use cloud for your files, ideas, and memories. Encrypted at all times, your data is always within reach.