I graduated my PhD from the University of Rennes in December 2025.
It started in October 2022 and was supervised by Pierre-Alain Fouque and Mohamed Sabt. My thesis focuses on compiler-based static analysis of C code in order to detect secret-related vulnerabilities. If you’re interested¹, you can find it here.

I am currently working on an out-of-tree plugin within GCC’s Static Analyzer to detect the use of secret-dependent data within leaking functions (more information here).

You can see a list of my publications here.

      _          _          _          _          _          _
    >(')____,  >(')____,  >(')____,  >(')____,  >(') ___,  >(') ___,
      (` =~~/    (` =~~/    (` =~~/    (` =~~/    (` =~~/    (` =~~/
--'~^~^`---'~^~^~^`---'~^~^~^`---'~^~^~^`---'~^~^~^`---'~^~^~`---'~^~^~