I am a PhD student 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.
Before that, I was a computer science student in the Parisian Master of Research in Computer Science (MPRI) at Ecole Normale Supérieure Paris-Saclay.
Publications
Papers
FSLH: Flexible Mechanized Speculative Load Hardening
Distinguished Paper Award
38th IEEE Computer Security Foundations Symposium (CSF) (2025)
Upcoming
SpecIBT: Formally Verified Protection Against Speculative Control-Flow Hijacking
Internships and Bachelor Thesis
Towards More Efficient and Trustworthy Formally Secure Verification Against Speculative Side-Channel Attacks
Parisian Master of Research in Computer Science (MPRI) (2025)
Proofs of Cryptographic Primitives in CCSA Logic
Ecole Normale Supérieure Paris-Saclay (2024)
Verifying Spectre Countermeasures Using Hypersimulations
Saarland University (2023)
Talks
FSLH: Flexible Mechanized Speculative Load Hardening
PriSC’26 (2026)
Education
- Oct. 2025: PhD student at the Max Planck Institute for Security and Privacy
- Sept. 2023 - Sept. 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