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.
Utgivarens beskrivning (engelska)
Vad är Verifpal?
Verifpal från Symbolic Software är programvara med öppen källkod för Windows (kategori: Kryptering). I kategorin Kryptering ligger programmet på plats 47 efter popularitet i den här katalogen. Programmeringsspråk: Rust.
Installation och systemkrav
Utgivaren erbjuder installationsfiler för 64-bitars (Portabel). Programmet körs utan installation (portabelt).
Uppdateringar och versionshistorik
Den senaste versionen är 1.6.6, släppt 11 oktober 2026. Versionshistoriken omfattar 22 versioner och sträcker sig tillbaka till 29 augusti 2026; alla länkar till de officiella filerna. Den senaste uppdateringen är mindre än en månad gammal.
Popularitet och filtyper
Källkoden på GitHub (symbolicsoft/verifpal) har 135 stjärnor. Liknande program är till exempel Cryptomator, GNU Privacy Guard och Keybase.
Projektbeskrivning på GitHub: “Cryptographic protocol analysis for real-world protocols.”
Fördelar / Nackdelar
Fördelar
- Öppen källkod: vem som helst kan granska och kompilera koden
- Portabelt: körs utan installation
- Uppdaterat de senaste två månaderna
Nackdelar
- Ingen inbyggd ARM64-version
Kort sagt: Verifpal är ett verktyg med öppen källkod i kategorin Kryptering för datorer med 64-bitars.
Är det säkert att ladda ner Verifpal?
- Filen levereras av github.com, utgivarens egen domän
- Nedladdningslänken använder HTTPS
- En SHA256-hash är publicerad, så att du kan kontrollera filen:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Öppna VirusTotal-rapporten för den här hashen - Länken har inte kontrollerats än
- Källkoden är offentlig
- ExeAtlas varken lagrar, kapslar in eller ändrar installationsfiler
Relaterad guide: Kontrollera en fils SHA256-hash i Windows
Senaste versionerna
Alla 22 versioner ›| Version | Datum | Storlek | Filer |
|---|---|---|---|
| 1.6.6Senaste | 11 oktober 2026 | — | 64-bitars ZIP |
| 1.6.4 | 7 oktober 2026 | — | 64-bitars ZIP |
| 1.6.3 | 28 september 2026 | — | 64-bitars ZIP |
| 1.6.0 | 23 september 2026 | — | 64-bitars ZIP |
| 1.5.1 | 21 september 2026 | — | 64-bitars ZIP |
| 1.5.0 | 20 september 2026 | — | 64-bitars ZIP |
| 1.4.12 | 17 september 2026 | — | 64-bitars ZIP |
| 1.4.11 | 16 september 2026 | — | 64-bitars ZIP |
Installera från kommandoraden
Tyst installation ›winget install --id SymbolicSoftware.Verifpal -eRelaterad guide: Så använder du winget: installera och uppdatera
Information
- Utgivare
- Symbolic Software
- Kategori
- Kryptering
- Licens
- GPL-3.0-only
- Pris
- Gratis
- Källkod
- github.com/symbolicsoft/verifpal
- Programmeringsspråk
- Rust
- Kräver
- Windows 11 / 10
- Arkitektur
- 64-bitars
- Installationsfil
- Portabel
- Version
- 1.6.6
- Släppt
- 11 oktober 2026
- I katalogen sedan
- 26 september 2026
- Listade versioner
- 22
- GitHub-stjärnor
- 135
- GitHub-forkar
- 16
- Webbplats
- verifpal.com
- winget-ID
- SymbolicSoftware.Verifpal
Betyg och recensioner
Inga recensioner än. Bli först med att betygsätta programmet.
Alternativ till Verifpal
Visa alla ›-
Öppen källkod166,2 tn ↓ -
Öppen källkod186,1 tn ↓ -
Öppen källkod36,6 tn ↓ -
Öppen källkod78,8 tn ↓ -
Öppen källkod31,8 tn ↓ -
Öppen källkod19,2 tn ↓ -
Öppen källkod15,6 tn ↓ -
Öppen källkod9,4 tn ↓
Vanliga frågor
Är Verifpal gratis?
Ja. Verifpal är programvara med öppen källkod under licensen GPL-3.0-only.
Är det säkert att ladda ner Verifpal?
Filen kommer från github.com, som tillhör utgivaren; ExeAtlas varken lagrar eller ändrar den. Jämför filens SHA256-hash med den som visas här, eller öppna VirusTotal-rapporten för hashen.
Hur installerar jag Verifpal med winget?
Öppna PowerShell eller Windows Terminal och kör winget-kommandot som visas på den här sidan. winget laddar ner den officiella installationsfilen och kontrollerar SHA256-hashen innan den körs.
Fungerar Verifpal på ARM (Windows on Arm)?
Det finns ingen ARM64-version; Windows 11 on Arm kan köra versionen för 64-bitars via emulering.
Var kan jag ladda ner en äldre version av Verifpal?
Versionssidan listar alla 22 versioner sedan 29 augusti 2026 med länkar till de officiella installationsfilerna.
Kan jag använda Verifpal utan administratörsbehörighet?
Ja, programmet är portabelt: packa upp och starta.
Vilka alternativ finns till Verifpal?
Cryptomator, GNU Privacy Guard, Keybase, i2pd och KopiaUI. Sidan med alternativ jämför dem.
