Populars: Dades actualitzades el 15 de novembre del 2026

Categories

Internet1.415
Comunicació328
Àudio i vídeo936
Gràfics i disseny561
Ofimàtica i productivitat1.176
Eines per a desenvolupadors3.279
Eines d’IA605
Seguretat i privadesa407
Eines del sistema3.183
Jocs544
Educació i ciència241
Xarxa i TI292

Baixar Verifpal 1.4.7 per a Windows

Cryptographic protocol analysis for real-world cryptographic protocols.

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.7

ArquitecturaTipusÀmbitMida del fitxerBaixaSHA256
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
* 9d0468fbf49e06cb68048731c1acb59f3411cd7c: Performance improvements (@nadimkobeissi)
* f9179dce9d70533980710b0d32d11f6fbe1ba626: Performance improvements + fixes (@nadimkobeissi)
* 26c6fb6bec5f7e6a8fc7c1114c270626d278b6f1: Performance improvements + fixes (@nadimkobeissi)
* 949c8d27215fe0155c0faaee2976a26af13988de: Performance improvements + fixes (@nadimkobeissi)
* dc97f887280b6f580a032788e3c113e600b2b616: Performance improvements + fixes (@nadimkobeissi)
* 8b1cf3ce2ca9ac72038a33d38ffbc9d38a3ba285: Performance improvements + fixes (@nadimkobeissi)
* de21a3b3fff896ee7b21f1a7eaf702641bbf7e33: Performance improvements + fixes (@nadimkobeissi)
* 0c305111c114bdc43e7f482ea3b4805004a8416e: Performance improvements + fixes (@nadimkobeissi)
* 9c455db975ae3e33abdee0312ec2b4e58ca6d4cf: Performance optimizations (@nadimkobeissi)
* 875e899b7f5cedeae8c9fea73550336f0cf97220: Performance optimizations (@nadimkobeissi)
* 7a5d5ea0322b8988eb23cd80c6c33425c3a97b91: Performance optimizations (@nadimkobeissi)
* c012d74c90f820f88916c97f68f94b947b9b0bb7: Simplifications (@nadimkobeissi)
* 14ce08467163054bdd78b96eb266f13ae53a464c: Soundness/completeness fixes (@nadimkobeissi)

https://github.com/symbolicsoft/verifpal/releases/tag/v1.4.7

El més popular a Xifratge

Mostra-ho tot
  1. CryptomatorXifratge · Skymatic GmbH
  2. KeybaseXifratge · Keybase, Inc.
  3. GNU Privacy GuardXifratge · The GnuPG Project
  4. KopiaUIXifratge · Kopia Authors
  5. i2pdXifratge · PurpleI2P
  6. Proton PassXifratge · Proton AG
  7. WireXifratge · Wire
  8. MinisignXifratge · Frank Denis
  9. cliXifratge · Anchor
  10. NordLockerXifratge · nordvpn s.a.

Etiquetes

Comparteix