Work
Publications, talks, and software.
Publications
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
A framework for cryptographic inventories combining automated discovery, static and dynamic analysis, passive monitoring, and CBOM-based consolidation.
Talks
Visibilidad total, agilidad real
XIX Jornadas STIC CCN-CERT · 27.11.2025
Cryptographic discovery, inventories, and methodologies for a secure transition to post-quantum cryptography. From mapping algorithms, keys, and protocols to operational migration planning.
Pulse aquí para optimizar su PC un 101%
XXXIII Jornadas Técnicas del GUL · UC3M · 19.02.2019
A practical talk on performance optimization and energy consumption in GNU/Linux systems, assessing existing configurations and possible improvements.
Projects
WepSIM · RISC-V
RISC-V · Education · Microarchitecture
Contributed a RISC-V microprocessor to the educational WepSIM simulator, implementing its architecture, microprogramming, and compiler/assembler support. Developed as my master’s thesis at UC3M.
pkcs11-stack
Rust · PKCS#11 · TLS
Rust libraries and a CLI for managing PKCS#11 tokens and hardware security modules, signing messages, and using token keys for TLS authentication with rustls.
denywhy
Rust · Linux · Permission diagnostics
Traces Linux commands to explain permission failures, checking file permissions, ACLs, capabilities, mount flags, and available security audit records.
watchdoctor
Rust · Linux · inotify
Diagnoses Linux file-watcher exhaustion by identifying processes holding inotify instances and watches, and comparing usage with inotify and file descriptor limits.
cargo-unsafe-surface
Rust · Static analysis · FFI
A Cargo subcommand that approximates which unsafe operations and FFI calls are reachable from Rust entry points, showing the call paths and unresolved calls.
binport
Rust · Linux · ELF
A tool for checking Linux ELF binaries for ABI compatibility with target distributions.
cryptopals-plusplus
C++ · Applied cryptography
C++ implementations of the Cryptopals cryptography challenges, exploring cryptographic constructions and attacks.