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. During my PhD, I worked on designing automatic bug-finding techniques to find violations of security properties at binary level. 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

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.

Activities

Other