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.
Beschreibung des Herstellers (Englisch)
Was ist Verifpal?
Verifpal von Symbolic Software ist quelloffene Software für Windows (Kategorie: Verschlüsselung). In der Kategorie „Verschlüsselung“ belegt Verifpal im Katalog Platz 47 nach Beliebtheit. Programmiersprache: Rust.
Installation und Systemvoraussetzungen
Der Hersteller bietet Setups für 64-Bit an (Portabel). Das Programm läuft ohne Installation (portabel).
Updates und Versionsverlauf
Aktuell ist Version 1.6.6, veröffentlicht am 11. Oktober 2026. Erfasst sind 22 Releases, das älteste vom 29. August 2026; alle verweisen auf die offiziellen Dateien. Das letzte Update ist weniger als einen Monat alt.
Verbreitung und Dateitypen
Der Quellcode auf GitHub (symbolicsoft/verifpal) hat 135 Sterne. Vergleichbare Programme sind etwa Cryptomator, GNU Privacy Guard und Keybase.
Projektbeschreibung auf GitHub: “Cryptographic protocol analysis for real-world protocols.”
Vorteile / Nachteile
Vorteile
- Open Source: Der Quellcode ist einsehbar und lässt sich selbst kompilieren
- Portabel: läuft ohne Installation
- In den letzten zwei Monaten aktualisiert
Nachteile
- Keine native ARM64-Version
Kurz gesagt: Verifpal ist ein quelloffenes Tool aus der Kategorie „Verschlüsselung“ für PCs mit 64-Bit.
Ist der Download von Verifpal sicher?
- Die Datei kommt von github.com, einer Domain des Herstellers
- Der Download-Link verwendet HTTPS
- Ein SHA256-Hash ist veröffentlicht, die Datei lässt sich also prüfen:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· VirusTotal-Bericht zu diesem Hash öffnen - Der Link wurde noch nicht geprüft
- Der Quellcode ist öffentlich
- ExeAtlas hostet, verpackt oder verändert keine Installer
Passende Anleitung: SHA256-Hash einer Datei unter Windows prüfen
Neueste Versionen
Alle 22 Versionen ›| Version | Datum | Größe | Dateien |
|---|---|---|---|
| 1.6.6Aktuell | 11. Oktober 2026 | — | 64-Bit ZIP |
| 1.6.4 | 7. Oktober 2026 | — | 64-Bit ZIP |
| 1.6.3 | 28. September 2026 | — | 64-Bit ZIP |
| 1.6.0 | 23. September 2026 | — | 64-Bit ZIP |
| 1.5.1 | 21. September 2026 | — | 64-Bit ZIP |
| 1.5.0 | 20. September 2026 | — | 64-Bit ZIP |
| 1.4.12 | 17. September 2026 | — | 64-Bit ZIP |
| 1.4.11 | 16. September 2026 | — | 64-Bit ZIP |
Installation per Kommandozeile
Silent Install ›winget install --id SymbolicSoftware.Verifpal -ePassende Anleitung: winget-Anleitung: Programme installieren und updaten
Informationen
- Hersteller
- Symbolic Software
- Kategorie
- Verschlüsselung
- Lizenz
- GPL-3.0-only
- Preis
- Kostenlos
- Quellcode
- github.com/symbolicsoft/verifpal
- Programmiersprache
- Rust
- Voraussetzung
- Windows 11 / 10
- Architektur
- 64-Bit
- Installer
- Portabel
- Version
- 1.6.6
- Veröffentlicht
- 11. Oktober 2026
- Im Katalog seit
- 26. September 2026
- Erfasste Versionen
- 22
- GitHub-Sterne
- 135
- GitHub-Forks
- 16
- Website
- verifpal.com
- winget-ID
- SymbolicSoftware.Verifpal
Bewertungen und Rezensionen
Noch keine Rezensionen. Geben Sie die erste Bewertung ab.
Alternativen zu Verifpal
Alle anzeigen ›-
Open Source166.155 ↓ -
Open Source186.055 ↓ -
Open Source36.632 ↓ -
Open Source78.832 ↓ -
Open Source31.822 ↓ -
Open Source19.168 ↓ -
Open Source15.596 ↓ -
Open Source9357 ↓
Häufige Fragen
Ist Verifpal kostenlos?
Ja. Verifpal ist Open-Source-Software unter der Lizenz GPL-3.0-only.
Ist der Download von Verifpal sicher?
Die Datei kommt von github.com, einer Domain des Herstellers; ExeAtlas hostet oder verändert sie nicht. Vergleichen Sie den SHA256-Hash der heruntergeladenen Datei mit dem hier angezeigten oder öffnen Sie den VirusTotal-Bericht zu diesem Hash.
Wie installiere ich Verifpal mit winget?
Öffnen Sie PowerShell oder Windows Terminal und führen Sie den winget-Befehl auf dieser Seite aus. winget lädt das offizielle Setup herunter und prüft vor dem Start den SHA256-Hash.
Läuft Verifpal auf ARM (Windows on Arm)?
Eine ARM64-Version gibt es nicht; Windows 11 on Arm kann die Version für 64-Bit per Emulation ausführen.
Wo kann ich eine ältere Version von Verifpal herunterladen?
Die Versionsseite listet alle 22 Versionen seit 29. August 2026 mit Links zu den offiziellen Installationsdateien.
Kann ich Verifpal ohne Administratorrechte nutzen?
Ja, das Programm ist portabel: entpacken und starten.
Welche Alternativen zu Verifpal gibt es?
Cryptomator, GNU Privacy Guard, Keybase, i2pd und KopiaUI. Die Seite mit den Alternativen vergleicht sie.
