Aquesta és una versió anterior. La versió actual és la 1.6.7. Verifpal 1.6.7 · Data de publicació:
Fitxers d’instal·lació 1.4.3
| Arquitectura | Tipus | Àmbit | Mida del fitxer | Baixa | SHA256 |
|---|---|---|---|---|---|
| 64 bits | ZIP → Portable · en-US | — | — | github.com | VirusTotal |
L’enllaç i l’SHA256 provenen del manifest comunitari del Gestor de paquets del Windows. Convé comparar el hash del fitxer baixat abans d’executar-lo.
Notes de la versió
## Changelog
* f141fc17cfac4320607b7e6eda08ec553006816f: AEAD now takes a nonce, allowing modeling of nonce reuse (@nadimkobeissi)
* 657618210e3b55f48ce2fc1d53306eeaf78a9309: Fix the swept-models array length (@nadimkobeissi)
* d9d5d7542b54fed86e4ee4772a7768f4a95de0e3: Fix unlinkability missed attack discovered by Heba Ajjour (@nadimkobeissi)
* a0421578668585a515c909748ddd3c6c5e94432f: Improve TLS 1.3 model (@nadimkobeissi)
* 4af53142ff81d13ba53a472ce52f026347dd7a64: Improve TLS 1.3 model (@nadimkobeissi)
* d6592fca89ac4fad465f5c940e293b4450cfec66: Improve attack traces (@nadimkobeissi)
* 2477067bd6cce150fd8f090c1db29ffab80b6dc0: Improve attack traces (@nadimkobeissi)
* a0d79eb0482dce5df3d5b48f1ad423f7fe1d1b00: Update CLAUDE.md (@nadimkobeissi)
* 9929ed764d05b5fa20c31719bb5c22970ac50a2c: Update CLAUDE.md (@nadimkobeissi)
* f171d1aa0c7ab59a349eaae52f5b16bc2074fe70: verifpal about: move names to Wall of Honor in Verifpal Manual (@nadimkobeissi)https://github.com/symbolicsoft/verifpal/releases/tag/v1.4.3
