About me

In September 2025, I’ll start as an Assistant Professor at EURECOM in the software and system security (S3) group. I am broadly interested in the application of formal methods for software and hardware security, including binary analysis, secure compilation, hardware-software co-designs, microarchitectural side-channels, hardware verification, etc.

From 2021 to 2025, I was a postdoc at DistriNet, KU Leuven working in the group of Frank Piessens on hardware software co-designs for security. In particular, I was involved in multiple security extensions of the RISC-V Proteus Core.

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.

News

  • Starting as an Assistant Professor in EURECOM in September 2025
  • July 25th, 2025 was my last week at KU Leuven. Many thanks to my wonderful colleagues!

Awards and Grants

Academic Service

Other

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 .