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.
Publisher’s description
What is Verifpal?
Verifpal by Symbolic Software is open-source Windows software in the encryption category. It ranks 47th by popularity among encryption in this catalogue. It is written in Rust.
Installation and requirements
The publisher provides Portable installers for 64-bit Windows. It runs without installation (portable).
Updates and version history
The current version is 1.6.7, released on October 20, 2026. The version history goes back to August 29, 2026: 23 releases, all linked to the official files. The last update is less than a month old.
Popularity and file types
The source code on GitHub (symbolicsoft/verifpal) has 135 stars. Similar programs include Cryptomator, GNU Privacy Guard and Keybase.
Project description on GitHub: “Cryptographic protocol analysis for real-world protocols.”
Pros / Cons
Pros
- Open source: the code can be inspected and built by anyone
- Portable: runs without installation
- Updated in the last two months
Cons
- No native ARM64 build
In short: Verifpal is an open-source encryption tool for 64-bit PCs.
Is Verifpal safe to download?
- The file is served by github.com, the publisher’s own domain
- The download link uses HTTPS
- A SHA256 hash is published, so you can verify the file:
27B3383099C49B940E8A051DB23A9693DE3B15C7DFAC3689FF826A1FAE6D512D· Open the VirusTotal report for this hash - The link has not been checked yet
- The source code is public
- ExeAtlas does not host, wrap or modify installers
Related guide: How to check a file’s SHA256 hash on Windows
Recent versions
All 23 versions ›| Version | Date | Size | Files |
|---|---|---|---|
| 1.6.7Latest | October 20, 2026 | — | 64-bit ZIP |
| 1.6.6 | October 11, 2026 | — | 64-bit ZIP |
| 1.6.4 | October 7, 2026 | — | 64-bit ZIP |
| 1.6.3 | September 28, 2026 | — | 64-bit ZIP |
| 1.6.0 | September 23, 2026 | — | 64-bit ZIP |
| 1.5.1 | September 21, 2026 | — | 64-bit ZIP |
| 1.5.0 | September 20, 2026 | — | 64-bit ZIP |
| 1.4.12 | September 17, 2026 | — | 64-bit ZIP |
Install from the command line
Silent install ›winget install --id SymbolicSoftware.Verifpal -eRelated guide: How to use winget: install and update apps
Information
- Publisher
- Symbolic Software
- Category
- Encryption
- Licence
- GPL-3.0-only
- Price
- Free
- Source code
- github.com/symbolicsoft/verifpal
- Written in
- Rust
- Requires
- Windows 11 / 10
- Architecture
- 64-bit
- Installer
- Portable
- Version
- 1.6.7
- Released
- October 20, 2026
- Added to the catalogue
- September 26, 2026
- Versions listed
- 23
- Downloads on ExeAtlas
- 4
- GitHub stars
- 135
- GitHub forks
- 16
- Website
- verifpal.com
- winget ID
- SymbolicSoftware.Verifpal
Ratings and reviews
No reviews yet. Be the first to rate it.
Alternatives to Verifpal
See all ›-
Open source166.2K ↓ -
GNU Privacy Guard2.5.24GNU Privacy Guard (GnuPG or GPG) is a free-software replacement for Symantec's PGP cryptographic software suite.Open source186.1K ↓ -
Keybase6.6.3.3End-to-end encryption for things that matter. Keybase is secure messaging and file-sharing.Open source36.6K ↓ -
Open source78.8K ↓ -
KopiaUI0.23.1Cross-platform backup tool for Windows, macOS & Linux with fast, incremental backups, client-side end-to-end encryption, compression and data deduplication. CLI and GUI included.Open source31.8K ↓ -
Open source19.6K ↓ -
Open source9.4K ↓ -
Open source11.5K ↓
Frequently asked questions
Is Verifpal free?
Yes. Verifpal is open-source software under the GPL-3.0-only licence.
Is Verifpal safe to download?
The download comes from github.com, which belongs to the publisher; ExeAtlas does not host or change the file. Compare its SHA256 hash with the one shown here, or open the VirusTotal report for that hash.
How do I install Verifpal with winget?
Open PowerShell or Windows Terminal and run the winget command shown on this page. winget downloads the official installer and checks its SHA256 hash before running it.
Does Verifpal run on ARM (Windows on Arm)?
There is no ARM64 build; Windows 11 on Arm can run the 64-bit version through emulation.
Where can I download an older version of Verifpal?
The versions page lists all 23 versions with links to their official installer files, back to August 29, 2026.
Can I use Verifpal without administrator rights?
Yes, it is portable: unpack and run it.
What are alternatives to Verifpal?
Cryptomator, GNU Privacy Guard, Keybase, i2pd and KopiaUI. The alternatives page compares them.
