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.
Descrizione del produttore (inglese)
Cos’è Verifpal?
Pubblicato da Symbolic Software, Verifpal è un software open source per Windows che rientra nella categoria Crittografia. Per popolarità occupa la posizione n. 47 della sua categoria in questo catalogo. È scritto in Rust.
Installazione e requisiti
Il produttore distribuisce pacchetti Portable per le versioni 64 bit di Windows. Funziona senza installazione (versione portable).
Aggiornamenti e cronologia delle versioni
La versione attuale è la 1.6.6 (rilascio: 11 ottobre 2026). La cronologia comprende 22 versioni (prima versione: 29 agosto 2026), tutte collegate ai file ufficiali. L’ultimo aggiornamento risale a meno di un mese fa.
Popolarità e tipi di file
Il codice sorgente su GitHub (symbolicsoft/verifpal) ha 135 stelle. Tra i programmi simili ci sono Cryptomator, GNU Privacy Guard e Keybase.
Descrizione del progetto su GitHub: “Cryptographic protocol analysis for real-world protocols.”
Pro / Contro
Pro
- Open source: chiunque può esaminare e compilare il codice
- Portable: funziona senza installazione
- Aggiornato negli ultimi due mesi
Contro
- Nessuna versione ARM64 nativa
In breve: Verifpal è un programma open source per Windows della categoria Crittografia, per PC 64 bit.
Scaricare Verifpal è sicuro?
- Il file è fornito da github.com, il dominio del produttore
- Il link di download usa HTTPS
- L’hash SHA256 è pubblicato: il file si può verificare:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Apri il rapporto VirusTotal di questo hash - Il link non è ancora stato controllato
- Il codice sorgente è pubblico
- ExeAtlas non ospita, non incapsula e non modifica gli installer
Guida correlata: Come verificare l’hash SHA256 di un file su Windows
Versioni recenti
Tutte le versioni (22) ›| Versione | Data | Dimensione | File |
|---|---|---|---|
| 1.6.6Ultima | 11 ottobre 2026 | — | 64 bit ZIP |
| 1.6.4 | 7 ottobre 2026 | — | 64 bit ZIP |
| 1.6.3 | 28 settembre 2026 | — | 64 bit ZIP |
| 1.6.0 | 23 settembre 2026 | — | 64 bit ZIP |
| 1.5.1 | 21 settembre 2026 | — | 64 bit ZIP |
| 1.5.0 | 20 settembre 2026 | — | 64 bit ZIP |
| 1.4.12 | 17 settembre 2026 | — | 64 bit ZIP |
| 1.4.11 | 16 settembre 2026 | — | 64 bit ZIP |
Installazione da riga di comando
Installazione silenziosa ›winget install --id SymbolicSoftware.Verifpal -eGuida correlata: Come usare winget: installare e aggiornare app
Informazioni
- Produttore
- Symbolic Software
- Categoria
- Crittografia
- Licenza
- GPL-3.0-only
- Prezzo
- Gratis
- Codice sorgente
- github.com/symbolicsoft/verifpal
- Linguaggio
- Rust
- Requisiti
- Windows 11 / 10
- Architettura
- 64 bit
- Installer
- Portable
- Versione
- 1.6.6
- Data di rilascio
- 11 ottobre 2026
- Aggiunto al catalogo
- 26 settembre 2026
- Versioni elencate
- 22
- Stelle su GitHub
- 135
- Fork su GitHub
- 16
- Sito ufficiale
- verifpal.com
- ID winget
- SymbolicSoftware.Verifpal
Valutazioni e recensioni
Ancora nessuna recensione.
Alternative a Verifpal
Vedi tutti ›-
Open source166,2K ↓ -
Open source186,1K ↓ -
Open source36,6K ↓ -
Open source78,8K ↓ -
Open source31,8K ↓ -
Open source19,2K ↓ -
Open source15,6K ↓ -
Open source9,4K ↓
Domande frequenti
Verifpal è gratis?
Sì. Verifpal è un software open source con licenza GPL-3.0-only.
Scaricare Verifpal è sicuro?
Il file viene scaricato da github.com, un dominio che appartiene al produttore; ExeAtlas non ospita né modifica il file. Si può confrontare il suo hash SHA256 con quello indicato qui oppure aprire il rapporto VirusTotal di quell’hash.
Come si installa Verifpal con winget?
Basta aprire PowerShell o Windows Terminal ed eseguire il comando winget riportato in questa pagina. winget scarica l’installer ufficiale e ne verifica l’hash SHA256 prima di avviarlo.
Verifpal funziona su ARM (Windows on Arm)?
Non esiste una versione ARM64; Windows 11 su Arm può eseguire la versione 64 bit tramite emulazione.
Dove scaricare una versione precedente di Verifpal?
La pagina delle versioni elenca tutte le 22 versioni con i link ai file di installazione ufficiali; la più vecchia è datata 29 agosto 2026.
Verifpal si può usare senza diritti di amministratore?
Sì, è portable: basta estrarre l’archivio e avviare il programma.
Quali sono le alternative a Verifpal?
Cryptomator, GNU Privacy Guard, Keybase, i2pd e KopiaUI. La pagina delle alternative le mette a confronto.
