About me

I am a postdoc at DistriNet, KU Leuven working in the group of Frank Piessens on hardware software co-designs for security. I am broadly interested in the application of formal methods for software and hardware security, including binary analysis, secure compilation, formalization of hardware security mechanisms, side-channel defenses, hardware verification, etc.

I defended my thesis, Symbolic Binary-Level Code Analysis for Security , on November 12th 2021. During my PhD, I developed Binsec/Rel, a tool to efficiently analyze cryptographic constant-time and secret-erasure at binary-level; and Binsec/Haunted, a tool 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 have a look at my CV.

Awards and Grants

Academic Service

Research Visits

From September to November 2019, I was a visiting researcher at Information Science Institute (ISI), University of Southern California (USC), where I worked with Christophe Hauser.

During summer 2017, I did an intership with Erik Poll and Joeri de Ruiter at Radboud University (Netherlands) on Inferring OpenVPN State Machines Using Protocol State Fuzzing .