Populars: Dades actualitzades el 4 de novembre del 2026

Categories

Internet1.367
Comunicació322
Àudio i vídeo908
Gràfics i disseny545
Ofimàtica i productivitat1.132
Eines per a desenvolupadors3.156
Eines d’IA539
Seguretat i privadesa392
Eines del sistema3.151
Jocs529
Educació i ciència240
Xarxa i TI287

Baixar Verifpal 1.4.2 per a Windows

Cryptographic protocol analysis for real-world cryptographic protocols.

Aquesta és una versió anterior. La versió actual és la 1.6.6. Verifpal 1.6.6 · Data de publicació:

Fitxers d’instal·lació 1.4.2

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
* 7de9503d5662c47ffe6b175617beb20a927aabc7: Arapinis and Duflot's Pi_Toy! (@nadimkobeissi)
* 3bbbc95a36035b2a7b72badb182bfc7829ba434c: Bug fixes and optimizations (@nadimkobeissi)
* 12a75e7d5c708665b7f3ba8f30efa3f58bbb579a: End support for Intel Macs (@nadimkobeissi)
* 0b1a9d52d37f17734b699a87f386e2ce2f2b8575: Fix many regressions (@nadimkobeissi)
* c79ce5190b9175de5fdf8157fd1dfd0e2144f53e: Fix regressions (@nadimkobeissi)
* b067dc63cffd856cc56c35bd7311583018e29e2a: Further attempts to fix Goreleaser (@nadimkobeissi)
* c747b448f4c5a49497e0d599ea6d0a2a331b6b4b: Goreleaser: try cargo cross (@nadimkobeissi)
* bbc2f6cf3e853a1bf14e371ddbcd3c1701c93cb3: Goreleaser: try cargo cross (@nadimkobeissi)
* 294c68893450af259113416f6482ce61851ec9fe: Greatly improved value tracking (@nadimkobeissi)
* a5bf03be255a25c80dbe9d74815b7614ac6d0f96: Hopefully avoid cargo-zigbuild upstream bug (@nadimkobeissi)
* 5716be5b4e3f52000e1febc648c6f91f9a3b5e19: No more FreeBSD (@nadimkobeissi)
* 54e1aa9b78ad5078b15ad90052f4f2f0d330000f: Remove passwords, PW_HASH (@nadimkobeissi)
* 6162e8db98671bb3dbaa391699f1ea77a73fe621: Remove pin (@nadimkobeissi)
* 2935fd67d059321ec670ca43068f3bf7c674f726: Rework preconditions (@nadimkobeissi)
* 24638bb87b8a526317e611424b6278dd2e9e7240: Update Makefile (@nadimkobeissi)
* 1b87e4abad005835584a2e6ff33da493c5fd8887: Update Makefile (@nadimkobeissi)
* 9b54fd89ece89005fb001f3e7f5b4079b66bd619: WASM: expose subtypes (@nadimkobeissi)

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

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. ageXifratge · FiloSottile
  7. Proton PassXifratge · Proton AG
  8. WireXifratge · Wire
  9. MinisignXifratge · Frank Denis
  10. cliXifratge · Anchor

Etiquetes

Comparteix