Researchers

I am senior researcher at INRIA, in the Prosecco team of Karthik Bhargavan.

Research interests:

ProVerif, automatic security protocol verifier in the symbolic model

CryptoVerif, security protocol verifier in the computational model

 

Publications

 

Talks

 

Teaching:

MPRI (Parisian Master of Research in Computer Science), course 2-30 Cryptographic protocols: formal and computational proofs

 

Conferences:

RESSI 2018 (PC member)
POST (Steering committee member)
FCS (Steering committee member)

 

Associate Editor International Journal of Applied Cryptography (IJACT)

 

Member of the AnaStaSec, NEXTLEAP and TECAP projects.