
tamarin-prover
Herramienta de verificación simbólica para protocolos de seguridad que utiliza reescritura de multiconjuntos y resolución de restricciones para…
Actualizaciones editoriales breves de herramientas de ciberseguridad publicadas.

Herramienta de verificación simbólica para protocolos de seguridad que utiliza reescritura de multiconjuntos y resolución de restricciones para…

Red team de IA local-first para seguridad de aplicaciones web, API y LLM. Razonamiento estilo atacante, hallazgos respaldados por evidencia y…

Agentes autónomos de pentesting con IA — reconocimiento en tiempo real, detección de vulnerabilidades y orquestación de explotación. Go + TypeScript.

PEASS - Suite de Scripts Asombrosos para Escalada de Privilegios (con colores)

Plano de control de ejecución autoalojado para agentes de IA. Observa o aprueba mediante HITL o bloquea llamadas de herramientas maliciosas antes de…

Weekly updated list of missing CVEs in nuclei templates official repository. Mainly built for bug bounty, but useful for penetration tests and…

Servidor DNS pasivo que detecta buckets de almacenamiento en la nube expuestos (AWS S3, GCP, Azure) resolviendo solicitudes DNS, rastreando cadenas…

VPN de malla peer-to-peer cifrada para forense móvil remota, permitiendo adquisición inalámbrica de ADB y libimobiledevice, monitoreo de red y…

Plataforma de Análisis Inteligente de Componentes que aprovecha los SBOMs para identificar y reducir el riesgo en la cadena de suministro de software…

Consola de triaje DFIR para hosts Windows que encadena la recolección de artefactos, líneas de tiempo correlacionadas con Sigma, escaneos YARA,…

Framework de OSINT de dominios y reconocimiento de seguridad que ejecuta 26 módulos en paralelo para DNS, puertos, subdominios, credenciales…

🔒 Consolidando y ampliando archivos hosts de varias fuentes bien seleccionadas. Opcionalmente, elige extensiones para pornografía, redes sociales y…