About me

I am a 4th year graduate student at ENS Paris-Saclay, in my second year at the Parisian Master of Research in Computer Science (MPRI). I am interested in (provable) computer security, verification of cryptographic protocols and specifically how these notions behave under considerations of side-channel attacks. I am also more generally interested in (functional) programming languages, as well as compilation and how it affects security.

Since last year, I am agrégé d’informatique, and I am willing to focus my career on teaching, after my PhD. Other hobbies I enjoy include (but are not restricted to) cycling, photography, cinema, reading, badminton, and also practical aspects of computer science and talking about free software. Maybe talking a bit too much about NixOS. Sorry about that.

Previous experiences

Undergraduate internship (2022)

I spent 7 weeks at Sophia Antipolis under the supervision of Benjamin Grégoire. We designed a type system for the Jasmin language able to detect Spectre v1 vulnerabilities. [1]

First-year graduate internship (2023)

I spent 6 months at IMDEA Software Institute under the supervision of Dario Fiore. We worked on a possible extension of a Zero-Knowledge protocol for batch set membership proofs (original paper: [2]).

[1]
B. A. Shivakumar et al., “Typing high-speed cryptography against spectre v1,” in 2023 IEEE symposium on security and privacy (SP), 2023, pp. 1094–1111. doi: 10.1109/SP46215.2023.10179418.
[2]
M. Campanelli, D. Fiore, S. Han, J. Kim, D. Kolonelos, and H. Oh, “Succinct zero-knowledge batch proofs for set accumulators,” in Proceedings of the 2022 ACM SIGSAC conference on computer and communications security, in CCS ’22. New York, NY, USA: Association for Computing Machinery, 2022, pp. 455–469. doi: 10.1145/3548606.3560677.