deepsec

deepsec deepsec es un escáner de vulnerabilidades impulsado por agentes que puedes ejecutar en tu propia infraestructura, optimizado para realizar revisiones bajo demanda de todo el código en repositorios a gran escala existentes. deepsec está diseñado para sacar a la luz problemas difíciles de...

research

Investigación — Bertoldi Cybersecurity Investigación de seguridad publicada por Alessandro Bertoldi y colaboradores. Publicaciones Título| Evento| Año| Enlace ---|---|---|--- Infinity-Day a escala: Secuestro de registradores, derrota del 2FA y suplantación de 17,000+ dominios| DeepSec Vienna 2025...

Automated Side-Channel Analysis of Cryptographic Protocol Implementations

We extract the first formal model of WhatsApp from its implementation by combining binary-level analysis via CryptoBap with reverse engineering via Ghidra to handle this large closed-source application. Using this model, we prove forward secrecy, identify a known clone-attack against...