About me
I am a postdoc at DistriNet, KU Leuven working with Frank Piessens on the design of hardware extensions for security. More generally, I am interested in the application of formal methods for software and hardware security.
I defended my thesis, Symbolic Binary-Level Code Analysis for Security , on November 12th 2021. In particular, I developed Binsec/Rel, a tool to efficiently analyze cryptographic constant-time and secret-erasure at binary-level; and Binsec/Haunted, to detect vulnerabilities to Spectre attacks. I did my PhD at CEA List, under the supervision of Sébastien Bardin and Tamara Rezk.
Before that, I received a master degree in computer science in 2018 from the ENS Rennes and the University of Rennes 1 (France). You can also have a look at my (outdated) CV.
Awards
My thesis received an award from Université Côte d’Azur, it also received a distinction from the GDR Sécurité Informatique. You can check the video I made for the occasion on their website (in French).
In 2020, I received the fellowship “Jeunes Talents France” L’Oréal - UNESCO pour les femmes et la science for my work on automated program analysis for security. Press article from ENS-Rennes (in French).
Past Work
During summer 2017 I worked with Erik Poll and Joeri de Ruiter at Radboud University (Netherlands) on inferring protocol state machines for OpenVPN.
Service
- Conference PC: DIMVA’23, CSF’23, DIMVA’22
- Workshop PC: PriSC’23, PLAS’22, SILM’22
- PhD jury member of Thomas Van Strydonck (2022)
- Invited reviewer: Peerj journal (2020)
- Artifact evaluation committee: CAV’22, PLDI’21, ACSAC’20
- Session chair: EuroS&P’22, ACSAC’20
- Sub-reviewer: SP’23, ESEC/FSE’22, CAV’22, ACSAC’22, DIMVA’21, ACSAC’21, BAR’20, SecDev’20
Other
- Interview for La Gazette du GDR Sécurité Informatique, Numéro 13, Novembre 2022 (in French)
- Article on the winter school Cyber in Saclay in La Gazette du GDR Sécurité Informatique, Numéro 8, Mars 2021 (in French)
- Impressions from the first ever online version of the Security and Privacy Symposium in Cipher Electronic Newsletter of the Technical Committee on Security & Privacy, May 29, 2020