I am currently a Ph.D student since September 2018, in the Celtique group at IRISA in Rennes, France.
I am supervised by
I am working on preservation of security properties during compilation.
Before that, I did an internship in 2018, supervised by Sandrine Blazy, focusing on the formal verification of a program obfuscation based on mixed Boolean-arithmetic expressions.
I am a former student in the Computer Science and Telecommunication department of the École normale supérieure de Rennes (ENS).
Bureau F209, Irisa/Inria
Campus de Beaulieu
263, avenue du général Leclerc
35042 RENNES Cedex - France
You can also consult my dblp bibliography.