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.
Udgiverens beskrivelse (engelsk)
Hvad er Verifpal?
Verifpal fra Symbolic Software er open source-software til Windows (kategori: Kryptering). I kategorien Kryptering ligger programmet på plads 47 efter popularitet i dette katalog. Programmeringssprog: Rust.
Installation og systemkrav
Udgiveren tilbyder installationsfiler til 64-bit (Portabel). Programmet kører uden installation (portabelt).
Opdateringer og versionshistorik
Den nyeste version er 1.6.6, udgivet 11. oktober 2026. Versionshistorikken rummer 22 udgivelser og går tilbage til 29. august 2026; alle linker til de officielle filer. Den seneste opdatering er mindre end en måned gammel.
Popularitet og filtyper
Kildekoden på GitHub (symbolicsoft/verifpal) har 135 stjerner. Lignende programmer er for eksempel Cryptomator, GNU Privacy Guard og Keybase.
Projektbeskrivelse på GitHub: “Cryptographic protocol analysis for real-world protocols.”
Fordele / Ulemper
Fordele
- Open source: alle kan gennemse og kompilere koden
- Portabelt: kører uden installation
- Opdateret inden for de seneste to måneder
Ulemper
- Ingen indbygget ARM64-version
Kort sagt: Verifpal er et værktøj med åben kildekode i kategorien Kryptering til pc’er med 64-bit.
Er det sikkert at downloade Verifpal?
- Filen leveres af github.com, udgiverens eget domæne
- Downloadlinket bruger HTTPS
- Der er offentliggjort en SHA256-hash, så du kan kontrollere filen:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Åbn VirusTotal-rapporten for denne hash - Linket er ikke kontrolleret endnu
- Kildekoden er offentlig
- ExeAtlas hoster, indpakker eller ændrer ikke installationsfiler
Relateret vejledning: Sådan tjekker du en fils SHA256-hash i Windows
Nyeste versioner
Alle 22 versioner ›| Version | Dato | Størrelse | Filer |
|---|---|---|---|
| 1.6.6Nyeste | 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 |
Installér fra kommandolinjen
Lydløs installation ›winget install --id SymbolicSoftware.Verifpal -eRelateret vejledning: winget: installer og opdater programmer i Windows
Information
- Udgiver
- Symbolic Software
- Kategori
- Kryptering
- Licens
- GPL-3.0-only
- Pris
- Gratis
- Kildekode
- github.com/symbolicsoft/verifpal
- Programmeringssprog
- Rust
- Kræver
- Windows 11 / 10
- Arkitektur
- 64-bit
- Installationsfil
- Portabel
- Version
- 1.6.6
- Udgivet
- 11. oktober 2026
- I kataloget siden
- 26. september 2026
- Registrerede versioner
- 22
- GitHub-stjerner
- 135
- GitHub-forks
- 16
- Websted
- verifpal.com
- winget-id
- SymbolicSoftware.Verifpal
Bedømmelser og anmeldelser
Ingen anmeldelser endnu. Vær den første til at bedømme programmet.
Alternativer til Verifpal
Se alle ›-
Open source166,2 t ↓ -
Open source186,1 t ↓ -
Open source36,6 t ↓ -
Open source78,8 t ↓ -
Open source31,8 t ↓ -
Open source19,2 t ↓ -
Open source15,6 t ↓ -
Open source9,4 t ↓
Ofte stillede spørgsmål
Er Verifpal gratis?
Ja. Verifpal er open source-software under licensen GPL-3.0-only.
Er det sikkert at downloade Verifpal?
Filen kommer fra github.com, som tilhører udgiveren; ExeAtlas hoster eller ændrer den ikke. Sammenlign filens SHA256-hash med den, der vises her, eller åbn VirusTotal-rapporten for hashen.
Hvordan installerer jeg Verifpal med winget?
Åbn PowerShell eller Windows Terminal, og kør winget-kommandoen, der vises på denne side. winget downloader den officielle installationsfil og kontrollerer SHA256-hashen, før den køres.
Kører Verifpal på ARM (Windows on Arm)?
Der findes ingen ARM64-version; Windows 11 on Arm kan køre versionen til 64-bit via emulering.
Hvor kan jeg downloade en ældre version af Verifpal?
Versionssiden viser alle 22 versioner siden 29. august 2026 med links til de officielle installationsfiler.
Kan jeg bruge Verifpal uden administratorrettigheder?
Ja, programmet er portabelt: pak det ud, og start det.
Hvilke alternativer findes der til Verifpal?
Cryptomator, GNU Privacy Guard, Keybase, i2pd og KopiaUI. Siden med alternativer sammenligner dem.
