EN

About

I’m Juan Banga Pardo, a software engineer and cybersecurity researcher at Gradiant.

My work covers cryptographic inventories, post-quantum migration, confidential computing, and remote attestation.

Experience

Gradiant

Research engineer · November 2023–present

In the Security and Privacy department, I build and test research prototypes and security tools. I joined as a junior research engineer and moved to an intermediate role in June 2024.

I use static analysis and eBPF/uprobes to find out which cryptographic libraries and algorithms a system actually uses. I also work on cryptographic inventories and automated remediation for keys, certificates, and algorithms.

I also work on confidential computing and attestation with Intel TDX, AMD SEV-SNP, RISC-V CoVE, TPMs, and IETF RATS. I’ve built backends and research platform interfaces, and integrated cryptographic hardware and HSMs. The acronyms do tend to multiply.

Education

Master’s in Informatics Engineering

Universidad Carlos III de Madrid · 2021–2023

My thesis, Didactic simulator of a RISC-V microprocessor, extended WepSIM with a RISC-V architecture and assembler support. It received a grade of 10 with honors. I received the Extraordinary Award for Best Academic Record; my final degree grade was 9.0/10.

Bachelor’s in Computer Science and Engineering

Universidad Carlos III de Madrid · 2017–2021

Minor in Computer Engineering. My thesis concerned the design and implementation of an environmental and access control system for a data center, and received a grade of 10/10.

Selected credentials

Community

At the GUL UC3M, from 2017 to 2023, I coordinated projects and administered the association’s GNU/Linux servers, virtual machines, and container services. I also volunteered at T3chFest in 2018 and 2019.

Tools

Rust, C/C++, Python, and Java. Linux, eBPF, cryptographic hardware, and low-level systems.