I am interested in software security and the application of formal methods in the context of binary-level analysis.
Currently, I work on designing automatic bug-finding techniques to find violations of security properties at binary level. In particular, I developped Binsec/Rel, a tool to efficiently analyze constant-time cryptogtaphic binaries, and Binsec/Haunted, to detect Spectre attacks.
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).