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.
Descripción del desarrollador (inglés)
¿Qué es Verifpal?
Detrás de Verifpal está Symbolic Software; se trata de software de código abierto para Windows incluido en la categoría Cifrado. En este catálogo ocupa el puesto 47 por popularidad dentro de Cifrado. Está escrito en Rust.
Instalación y requisitos
El desarrollador ofrece instaladores Portable para Windows de 64 bits. Funciona sin instalación (versión portable).
Actualizaciones e historial de versiones
La versión actual es la 1.6.6, publicada el 11 de octubre de 2026. El historial llega hasta 29 de agosto de 2026: 22 versiones, todas enlazadas a los archivos oficiales. La última actualización tiene menos de un mes.
Popularidad y tipos de archivo
El código fuente en GitHub (symbolicsoft/verifpal) tiene 135 estrellas. Entre los programas similares figuran Cryptomator, GNU Privacy Guard y Keybase.
Descripción del proyecto en GitHub: “Cryptographic protocol analysis for real-world protocols.”
Ventajas / Inconvenientes
Ventajas
- Código abierto: cualquiera puede revisar y compilar el código
- Portable: funciona sin instalar
- Actualizado en los últimos dos meses
Inconvenientes
- Sin versión nativa para ARM64
En resumen: Verifpal es un programa de código abierto de la categoría Cifrado, disponible para equipos de 64 bits.
¿Es seguro descargar Verifpal?
- El archivo se sirve desde github.com, el dominio del propio desarrollador
- El enlace de descarga usa HTTPS
- Hay un hash SHA256 publicado para verificar el archivo:
982F761EDCD6C94318BB67397F5AA637B989EC52BF758D74BB79C02919008A34· Abrir el informe de VirusTotal de este hash - El enlace aún no se ha comprobado
- El código fuente es público
- ExeAtlas no aloja, envuelve ni modifica instaladores
Guía relacionada: Cómo comprobar el hash SHA256 de un archivo en Windows
Versiones recientes
Las 22 versiones ›| Versión | Fecha | Tamaño | Archivos |
|---|---|---|---|
| 1.6.6Última | 11 de octubre de 2026 | — | 64 bits ZIP |
| 1.6.4 | 7 de octubre de 2026 | — | 64 bits ZIP |
| 1.6.3 | 28 de septiembre de 2026 | — | 64 bits ZIP |
| 1.6.0 | 23 de septiembre de 2026 | — | 64 bits ZIP |
| 1.5.1 | 21 de septiembre de 2026 | — | 64 bits ZIP |
| 1.5.0 | 20 de septiembre de 2026 | — | 64 bits ZIP |
| 1.4.12 | 17 de septiembre de 2026 | — | 64 bits ZIP |
| 1.4.11 | 16 de septiembre de 2026 | — | 64 bits ZIP |
Instalar desde la línea de comandos
Instalación silenciosa ›winget install --id SymbolicSoftware.Verifpal -eGuía relacionada: Cómo usar winget: instalar y actualizar programas
Información
- Desarrollador
- Symbolic Software
- Categoría
- Cifrado
- Licencia
- GPL-3.0-only
- Precio
- Gratis
- Código fuente
- github.com/symbolicsoft/verifpal
- Lenguaje
- Rust
- Requisitos
- Windows 11 / 10
- Arquitectura
- 64 bits
- Instalador
- Portable
- Versión
- 1.6.6
- Fecha de publicación
- 11 de octubre de 2026
- Añadido al catálogo
- 26 de septiembre de 2026
- Versiones registradas
- 22
- Estrellas en GitHub
- 135
- Forks en GitHub
- 16
- Sitio web
- verifpal.com
- ID de winget
- SymbolicSoftware.Verifpal
Valoraciones y opiniones
Todavía no hay opiniones.
Alternativas a Verifpal
Ver todo ›-
Código abierto166,2 mil ↓ -
Código abierto186,1 mil ↓ -
Código abierto36,6 mil ↓ -
Código abierto78,8 mil ↓ -
Código abierto31,8 mil ↓ -
Código abierto19,2 mil ↓ -
Código abierto15,6 mil ↓ -
Código abierto9,4 mil ↓
Preguntas frecuentes
¿Es gratis Verifpal?
Sí. Verifpal es software de código abierto con licencia GPL-3.0-only.
¿Es seguro descargar Verifpal?
La descarga procede de github.com, un dominio del propio desarrollador. ExeAtlas no aloja ni modifica el archivo. Se puede comparar su hash SHA256 con el que aparece aquí o abrir el informe de VirusTotal de ese hash.
¿Cómo instalar Verifpal con winget?
Basta con abrir PowerShell o Terminal Windows y ejecutar el comando winget que figura en esta página. winget descarga el instalador oficial y comprueba su hash SHA256 antes de ejecutarlo.
¿Funciona Verifpal en ARM (Windows on Arm)?
No hay versión para ARM64; Windows 11 on Arm puede ejecutar la versión de 64 bits mediante emulación.
¿Dónde descargar versiones anteriores de Verifpal?
La página de versiones recoge las 22 versiones con enlaces a sus instaladores oficiales, desde 29 de agosto de 2026.
¿Se puede usar Verifpal sin permisos de administrador?
Sí, es portable: basta con descomprimirlo y ejecutarlo.
¿Qué alternativas hay a Verifpal?
Cryptomator, GNU Privacy Guard, Keybase, i2pd y KopiaUI. La página de alternativas los compara.
