2026 – present · C · Python · CKKS · SNARKs
An open-source library for verifiable CKKS homomorphic encryption, my current work at IMDEA Software Institute.
Projects
A selection of things I have built, mostly open source, newest first. More on GitHub.
2024 – 2025 · C++ · OpenSSL · ML-KEM · ML-DSA · CBOR
An open-source toolkit for C509 certificates with composite post-quantum support, built during my work on space PKI at ESA. Used to quantify how CBOR encoding compares to DER at scale: CRLs shrink by 55% at 1k entries.
2024 – 2025 · Python
Research prototypes of encrypted range search schemes, developed during my MSc at TU Delft, using Hilbert curves for multi-dimensional query processing, with synthetic benchmarks to evaluate the trade-offs.
2024 · Hyperledger Fabric · Java · Spring Boot · Privacy-Enhancing Technologies
A decentralised platform for privacy-preserving research on medical device data. Threshold Paillier homomorphic encryption and differential privacy enable aggregate statistics without per-record decryption. Best Demo Award at IEEE BRAINS 2024; candidate architecture in the EU-funded SEPTON initiative.
2022 – 2023 · Java · Eclipse JDT
Static analysis tooling that detects hidden familial type correlations in Java codebases. Started as my bachelor thesis; the accompanying paper won Best Paper at IEEE SCAM 2022.