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.
Utgiverens beskrivelse (engelsk)
Hva er Verifpal?
Verifpal fra Symbolic Software er programvare med åpen kildekode for Windows (kategori: Kryptering). I kategorien Kryptering er programmet nummer 47 etter popularitet i denne katalogen. Programmeringsspråk: Rust.
Installasjon og systemkrav
Utgiveren tilbyr installasjonsfiler for 64-bit; filformater: Portabel. Programmet kjører uten installasjon (portabelt).
Oppdateringer og versjonshistorikk
Nyeste versjon er 1.6.6, utgitt 11. oktober 2026. Versjonshistorikken går tilbake til 29. august 2026: 22 utgivelser, alle med lenker til de offisielle filene. Den siste oppdateringen er mindre enn en måned gammel.
Popularitet og filtyper
Kildekoden på GitHub (symbolicsoft/verifpal) har 135 stjerner. Lignende programmer er blant annet Cryptomator, GNU Privacy Guard og Keybase.
Prosjektbeskrivelse på GitHub: “Cryptographic protocol analysis for real-world protocols.”
Fordeler / Ulemper
Fordeler
- Åpen kildekode: hvem som helst kan se gjennom og bygge koden
- Portabelt: kjører uten installasjon
- Oppdatert de siste to månedene
Ulemper
- Ingen egen ARM64-versjon
Kort sagt: Verifpal er et verktøy med åpen kildekode i kategorien Kryptering for PC-er med 64-bit.
Er det trygt å laste ned Verifpal?
- Filen leveres av github.com, utgiverens eget domene
- Nedlastingslenken bruker HTTPS
- En SHA256-sum er publisert, så du kan kontrollere filen:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Åpne VirusTotal-rapporten for denne sjekksummen - Lenken er ikke sjekket ennå
- Kildekoden er offentlig
- ExeAtlas lagrer, pakker inn eller endrer aldri installasjonsfiler
Relatert veiledning: Slik sjekker du SHA256-summen til en fil i Windows
Nyeste versjoner
Alle 22 versjoner ›| Versjon | 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 |
Installer fra kommandolinjen
Stille installasjon ›winget install --id SymbolicSoftware.Verifpal -eRelatert veiledning: winget: installer og oppdater programmer i Windows
Informasjon
- Utgiver
- Symbolic Software
- Kategori
- Kryptering
- Lisens
- GPL-3.0-only
- Pris
- Gratis
- Kildekode
- github.com/symbolicsoft/verifpal
- Programmeringsspråk
- Rust
- Krav
- Windows 11 / 10
- Arkitektur
- 64-bit
- Installasjonsfil
- Portabel
- Versjon
- 1.6.6
- Utgitt
- 11. oktober 2026
- Lagt til i katalogen
- 26. september 2026
- Registrerte versjoner
- 22
- GitHub-stjerner
- 135
- GitHub-forker
- 16
- Nettsted
- verifpal.com
- winget-ID
- SymbolicSoftware.Verifpal
Vurderinger og anmeldelser
Ingen anmeldelser ennå. Bli den første til å gi en vurdering.
Alternativer til Verifpal
Se alle ›-
Åpen kildekode166,2k ↓ -
Åpen kildekode186,1k ↓ -
Åpen kildekode36,6k ↓ -
Åpen kildekode78,8k ↓ -
Åpen kildekode31,8k ↓ -
Åpen kildekode19,2k ↓ -
Åpen kildekode15,6k ↓ -
Åpen kildekode9,4k ↓
Ofte stilte spørsmål
Er Verifpal gratis?
Ja. Verifpal er programvare med åpen kildekode under lisensen GPL-3.0-only.
Er det trygt å laste ned Verifpal?
Filen lastes ned fra github.com, som tilhører utgiveren; ExeAtlas verken lagrer eller endrer den. Sammenlign SHA256-summen for filen med den som vises her, eller åpne VirusTotal-rapporten for sjekksummen.
Hvordan installerer jeg Verifpal med winget?
Åpne PowerShell eller Windows Terminal og kjør winget-kommandoen som vises på denne siden. winget laster ned den offisielle installasjonsfilen og kontrollerer SHA256-summen før den kjøres.
Kjører Verifpal på ARM (Windows on Arm)?
Det finnes ingen ARM64-versjon; Windows 11 on Arm kan kjøre versjonen for 64-bit gjennom emulering.
Hvor kan jeg laste ned en eldre versjon av Verifpal?
Versjonssiden viser alle 22 versjonene tilbake til 29. august 2026, med lenker til de offisielle installasjonsfilene.
Kan jeg bruke Verifpal uten administratorrettigheter?
Ja, programmet er portabelt: pakk ut og kjør.
Hvilke alternativer finnes til Verifpal?
Cryptomator, GNU Privacy Guard, Keybase, i2pd og KopiaUI. Siden med alternativer sammenligner dem.
