
z3
Solucionador SMT de alto rendimiento para demostración automática de teoremas, resolución de restricciones y verificación de programas. Soporta…

Solucionador SMT de alto rendimiento para demostración automática de teoremas, resolución de restricciones y verificación de programas. Soporta…

Una lista curada de frameworks, librerías, recursos y softwares de CTF

Pruebas de cifrado TLS/SSL en cualquier lugar y en cualquier puerto.

Plan de estudio práctico completo para convertirse en un ingeniero de ciberseguridad exitoso basado en roles como Pentest, AppSec, Seguridad en la…

cryptography es un paquete diseñado para exponer primitivas criptográficas y recetas a los desarrolladores de Python.

Una herramienta de cifrado simple, moderna y segura (y biblioteca Go) con claves explícitas pequeñas, sin opciones de configuración y componibilidad…


John the Ripper jumbo - avanzado crackeador de contraseñas sin conexión, que soporta cientos de tipos de hash y cifrados, y se ejecuta en muchos…

Herramienta hardware para análisis, emulación y pruebas de penetración RFID. Soporta protocolos de 125kHz, 13.56MHz (MIFARE, iClass, ISO14443/15693)…

La principal biblioteca nativa de protocolo SSHv2 en Python.

Mensajero de iOS de código abierto que proporciona llamadas de texto, voz y video cifradas de extremo a extremo mediante el Protocolo Signal, sin…

Los tutoriales de código Python

Una guía completa y paso a paso para dominar la ciberseguridad, desde nivel principiante hasta experto, con recursos, herramientas y orientación…

Hogar del Protocolo Signal, así como de otras primitivas criptográficas que hacen posible Signal.

Función hash criptográfica rápida con modos PRF, MAC, KDF y XOF. Soporta streaming verificado, actualizaciones incrementales y hashing paralelizado…

Portable OpenSSH

[mirror] Bibliotecas complementarias de criptografía para Go

🛡 I2P: Internet anónimo y cifrado de extremo a extremo