Soy Juan Banga Pardo, ingeniero de software e investigador en ciberseguridad en Gradiant.
Trabajo en inventarios criptográficos, migración poscuántica, computación confidencial y atestación remota.
Experiencia
Gradiant
Ingeniero investigador · Noviembre de 2023–actualidad
En el departamento de Seguridad y Privacidad desarrollo y pruebo prototipos de investigación y herramientas de seguridad. Entré como ingeniero investigador júnior y pasé a un puesto de nivel intermedio en junio de 2024.
Uso análisis estático y eBPF/uprobes para descubrir qué bibliotecas y algoritmos criptográficos utiliza realmente un sistema. También trabajo en inventarios criptográficos y remediación automatizada de claves, certificados y algoritmos.
También trabajo en computación confidencial y atestación con Intel TDX, AMD SEV-SNP, RISC-V CoVE, TPM e IETF RATS. He desarrollado backends e interfaces para plataformas de investigación e integrado hardware criptográfico y HSM. Las siglas tienden a multiplicarse.
Formación
Máster en Ingeniería Informática
Universidad Carlos III de Madrid · 2021–2023
Mi trabajo de fin de máster, Simulador didáctico de un microprocesador RISC-V, amplió WepSIM con una arquitectura RISC-V y soporte de ensamblador. Recibió una calificación de 10 con matrícula de honor. Obtuve el Premio Extraordinario al Mejor Expediente Académico; mi nota final fue de 9,0/10.
Grado en Ingeniería Informática
Universidad Carlos III de Madrid · 2017–2021
Especialización en Ingeniería de Computadores. Mi trabajo de fin de grado trató sobre el diseño y la implementación de un sistema de control ambiental y de acceso para un centro de procesamiento de datos, con una calificación de 10/10.
Credenciales destacadas
- SEC556: IoT Penetration Testing — SANS Institute.
- RISC-V Foundational Associate — The Linux Foundation, 2026.
- Cryptography I — Stanford University, 2024.
- CipherTrust DSP Professional Engineer — Thales, 2024.
Comunidad
En el GUL UC3M, de 2017 a 2023, coordiné proyectos y administré los servidores GNU/Linux, las máquinas virtuales y los servicios en contenedores de la asociación. También fui voluntario en T3chFest en 2018 y 2019.
Herramientas
Rust, C/C++, Python y Java. Linux, eBPF, hardware criptográfico y sistemas de bajo nivel.