I am senior researcher at INRIA, in the Prosecco team of Karthik Bhargavan.
ProVerif, automatic security protocol verifier in the symbolic model
CryptoVerif, security protocol verifier in the computational model
MPRI (Parisian Master of Research in Computer Science), course 2-30 Cryptographic protocols: formal and computational proofs
RESSI 2018 (PC member)
POST (Steering committee member)
FCS (Steering committee member)
Associate Editor International Journal of Applied Cryptography (IJACT)