Wingetlywingetly
← All apps
V

Verifpal

by Symbolic Softwarev1.6.6

Last updated

Cryptographic protocol analysis for real-world cryptographic protocols.

Visit homepage

Install with winget

$ winget install --id SymbolicSoftware.Verifpal --exact --version 1.6.6

Run in Command Prompt, PowerShell, or Windows Terminal. Prompts for any agreements.

Built by Pckgr

For Intune admins

Stop chasing app updates. Pckgr patches them for you.

Automated application patching for Microsoft Intune. Pckgr keeps a curated library of 1,000+ apps continuously up-to-date in your tenant via Microsoft Graph - no manual repackaging, no chasing vendor sites.

Start free 30-day trial

From $49/month. No credit card required.

Not on Intune? Pckgr RMM deploys and patches apps like this one on any Windows fleet. Free for up to 5 devices.

About

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.

Installers · v1.6.6

ArchitectureTypeScopeInstallDownload
x64Portable-Direct

Copy a command tailored to that specific architecture, type, and scope - useful when winget would otherwise pick a different default.

Security

No known CVEs for Verifpal.

Coverage is best-effort and depends on a winget package mapping to an NVD CPE entry. Absence here is not a guarantee of safety.

Related apps

  • System InformerWinsider Seminars & Solutions, Inc.
    WinsiderSS.SystemInformerv4.0.26241.138

    System Informer is a free, powerful, multi-purpose tool that helps you monitor system resources, debug software and detect malware.

  • Gpg4winThe Gpg4win Project
    GnuPG.Gpg4winv5.1.1

    A secure solution for file and email encryption.

  • Mullvad VPNMullvad VPN
    MullvadVPN.MullvadVPNv2026.4

    Mullvad is an open-source commercial virtual private network service based in Sweden.

  • WiresharkThe Wireshark developer community, https://www.wireshark.org
    WiresharkFoundation.Wiresharkv4.6.9

    The world's most popular network protocol analyzer.

  • iDefenderiMonitorSDK
    TRUSTSING.iDefender.ENv6.2.0.0

    The Infinite Potential Host Intrusion Prevention System (HIPS)

  • Proton VPNProton AG
    Proton.ProtonVPNv5.1.8

    High-speed Swiss VPN that safeguards your privacy.

More from Symbolic Software or browse cryptography, security, formal-verification.

Frequently asked questions

How do I install Verifpal on Windows?
Open Windows Terminal, PowerShell, or Command Prompt and run: winget install --id SymbolicSoftware.Verifpal --exact --version 1.6.6. winget downloads the installer from Symbolic Software and runs it. Requires Windows 10 (1809+) or Windows 11.
How do I install Verifpal silently for unattended deployment?
Add --silent and accept the agreements upfront: winget install --id SymbolicSoftware.Verifpal --exact 1.6.6 --silent --accept-package-agreements --accept-source-agreements. This is the variant Intune, Configuration Manager, and other deployment tools should use.
How do I uninstall Verifpal via winget?
Run: winget uninstall --id SymbolicSoftware.Verifpal --exact. Add --silent for unattended uninstalls. winget will use the registered uninstaller from Verifpal's Apps & Features entry.
Is Verifpal free?
Verifpal is distributed under GPL-3.0-only. Refer to the publisher (https://verifpal.com) for the full license terms - Wingetly itself does not charge for installation.
Does Verifpal work on Windows 10?
Yes, as long as your Windows 10 build supports winget (1809 or newer). winget ships with App Installer on Windows 10/11 and pulls Verifpal directly from the publisher.
How do I keep Verifpal up to date?
Run winget upgrade --id SymbolicSoftware.Verifpal --exact, or winget upgrade --all to update everything winget tracks. We index 10 versions of Verifpal from microsoft/winget-pkgs.

Recent versions

  • 1.6.6latest
  • 1.6.4
  • 1.6.3
  • 1.6.0
  • 1.5.1
  • 1.5.0
  • 1.4.12
  • 1.4.11
  • 1.4.10
  • 1.4.9