Son Juan Banga Pardo, enxeñeiro de software e investigador en ciberseguridade en Gradiant.
Traballo en inventarios criptográficos, migración poscuántica, computación confidencial e atestación remota.
Experiencia
Gradiant
Enxeñeiro investigador · Novembro de 2023–actualidade
No departamento de Seguridade e Privacidade desenvolvo e probo prototipos de investigación e ferramentas de seguridade. Entrei como enxeñeiro investigador júnior e pasei a un posto de nivel intermedio en xuño de 2024.
Uso análise estática e eBPF/uprobes para descubrir que bibliotecas e algoritmos criptográficos utiliza realmente un sistema. Tamén traballo en inventarios criptográficos e remediación automatizada de claves, certificados e algoritmos.
Tamén traballo en computación confidencial e atestación con Intel TDX, AMD SEV-SNP, RISC-V CoVE, TPM e IETF RATS. Desenvolvín backends e interfaces para plataformas de investigación e integrei hardware criptográfico e HSM. As siglas tenden a multiplicarse.
Formación
Mestrado en Enxeñaría Informática
Universidad Carlos III de Madrid · 2021–2023
O meu traballo de fin de mestrado, Simulador didáctico dun microprocesador RISC-V, ampliou WepSIM cunha arquitectura RISC-V e soporte de ensamblador. Recibiu unha cualificación de 10 con matrícula de honra. Obtiven o Premio Extraordinario ao Mellor Expediente Académico; a miña nota final foi de 9,0/10.
Grao en Enxeñaría Informática
Universidad Carlos III de Madrid · 2017–2021
Especialización en Enxeñaría de Computadores. O meu traballo de fin de grao tratou sobre o deseño e a implementación dun sistema de control ambiental e de acceso para un centro de procesamento de datos, cunha cualificación de 10/10.
Credenciais 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.
Comunidade
No GUL UC3M, de 2017 a 2023, coordinei proxectos e administrei os servidores GNU/Linux, as máquinas virtuais e os servizos en contedores da asociación. Tamén fun voluntario no T3chFest en 2018 e 2019.
Ferramentas
Rust, C/C++, Python e Java. Linux, eBPF, hardware criptográfico e sistemas de baixo nivel.