Cybersecurity engineer & researcher in applied cryptography, PKI, and the systems around them. Currently building verifiable fully homomorphic encryption at the IMDEA Software Institute in Madrid.
I like working at the boundary between research and engineering: taking cryptographic constructions that look good on paper and finding out what it actually takes to run them in real, constrained environments like satellites, hospitals, and banks.
- vfhe: open-source library for verifiable CKKS homomorphic encryption with SNARKs, at IMDEA
- c509-native: the first open-source toolkit for composite post-quantum C509 certificates, built for space PKI research at ESA
- MedTech Chain: privacy-preserving blockchain platform for medical device data research · Best Demo Award, IEEE BRAINS 2024
- ers: research prototypes for encrypted range search, from my MSc at TU Delft
- jFamilyCounselor: static analysis of hidden familial type correlations in Java · Best Paper, IEEE SCAM 2022
Peer-reviewed publications on ORCID.


