I am a computer science student in the Parisian Master of Research in Computer Science (MPRI) at Ecole Normale Supérieure Paris-Saclay.
As part of that program, I am currently an Intern at the Max Planck Institute for Security and Privacy, where I work with Cătălin Hrițcu on formally secure compilation against speculative side-channel attacks.
Publications
Internships and Bachelor Thesis
Proofs of Cryptographic Primitives in CCSA Logic
Ecole Normale Supérieure Paris-Saclay (2024)
Verifying Spectre Countermeasures Using Hypersimulations
Saarland University (2023)
Education
- Sept. 2023 - Aug. 2025: Parisian Master of Research in Computer Science (MPRI) at Ecole Normale Supérieure Paris-Saclay.
- April 2020 - July 2023: Bachelor in Computer Science (Informatik B. Sc). at Saarland University
- March 2020: Abitur (High school graduation) at Europa-Gymnasium Wörth