See the Publications and Projects pages for more information about the works mentioned below.


Max-Planck Institute for Security and Privacy, Bochum (Germany)

under the supervision of Gilles Barthe. I am currently working at the newly-founded MPI in Bochum, and my current projects try to connect the symbolic techniques I developed during my thesis to other areas of security than cryptographic protocols.

Oct 2020 - now

PhD of computer science

Univerité de Lorraine (France)

under the supervision of Steve Kremer and Vincent Cheval. I developed and implemented symbolic techniques for formalising and analysing automatedly security protocols. I typically contributed to the theory and development of the DeepSec prover for analysing privacy-type properties.

Oct 2017 - Feb 2021

Research internship

Microsoft Research Cambridge (UK)

under the supervision of Antoine Delignat-Lavaud and Cédric Fournet. I worked on the formal specification, implementation and proof of the IETF version of the QUIC protocol (still in standardisation at the time of the internship). I contributed to this long-time effort by writing proofs for the packet parsing/encryption of QUIC, using the F* proof assistant.

Jul 2019 - Oct 2019

Research internship

IMDEA Software Institute (Spain)

under the supervision of Boris Köpf. I studied and formalised the information leakage of cryptographic secrets to attackers measuring the execution time of sensitive programs.

Oct 2016 - Aug 2017

Master Degree of computer science

École Normale Supérieure de Cachan (France)
Sep 2014 - Sep 2016