Trabajo
Publicaciones, charlas y software.
Publicaciones
Inventarios criptográficos para una migración postcuántica ágil y segura
Juan Banga Pardo, Santiago de Vicente Poutás, Xavier Martínez Luaña · RECSI 2026 · pp. 194–199
Un marco para inventarios criptográficos que combina descubrimiento automatizado, análisis estático y dinámico, monitorización pasiva y consolidación mediante CBOM.
Charlas
Visibilidad total, agilidad real
XIX Jornadas STIC CCN-CERT · 27.11.2025
Descubrimiento criptográfico, inventarios y metodologías para una transición segura a la criptografía poscuántica. Desde identificar algoritmos, claves y protocolos hasta planificar la migración.
Pulse aquí para optimizar su PC un 101%
XXXIII Jornadas Técnicas del GUL · UC3M · 19.02.2019
Una charla práctica sobre optimización del rendimiento y consumo energético en sistemas GNU/Linux, con evaluación de configuraciones y posibles mejoras.
Proyectos
WepSIM · RISC-V
RISC-V · Educación · Microarquitectura
Contribuí con un microprocesador RISC-V al simulador didáctico WepSIM, implementando la arquitectura, la microprogramación y el soporte de compilador/ensamblador. Fue mi trabajo de fin de máster en la UC3M.
pkcs11-stack
Rust · PKCS#11 · TLS
Bibliotecas en Rust y una herramienta de línea de comandos para gestionar tokens PKCS#11 y módulos de seguridad hardware, firmar mensajes y usar claves de los tokens para autenticación TLS con rustls.
denywhy
Rust · Linux · Diagnóstico de permisos
Rastrea comandos de Linux para explicar fallos de permisos, comprobando permisos de archivos, ACL, capacidades, opciones de montaje y registros de auditoría de seguridad disponibles.
watchdoctor
Rust · Linux · inotify
Diagnostica el agotamiento de los recursos de vigilancia de archivos en Linux, identificando los procesos que mantienen instancias y vigilancias de inotify y comparando el uso con los límites de inotify y de descriptores de archivo.
cargo-unsafe-surface
Rust · Análisis estático · FFI
Un subcomando de Cargo que estima qué operaciones unsafe y llamadas FFI son alcanzables desde los puntos de entrada de Rust, mostrando las rutas de llamadas y las llamadas sin resolver.
binport
Rust · Linux · ELF
Una herramienta para comprobar la compatibilidad ABI de binarios ELF de Linux con distribuciones de destino.
cryptopals-plusplus
C++ · Criptografía aplicada
Implementaciones en C++ de los desafíos criptográficos de Cryptopals, para explorar construcciones criptográficas y ataques.