I am in the Prosecco team at Inria Paris. I am interested in the application of formal methods in security. I work on proofs of security protocols (in particular of authentication and privacy properties), the application of automated deduction techniques to help automate protocol analysis, and the usage of static analysis in security.
The web-page of the Squirrel Prover: https://squirrel-prover.github.io/
Here are some my seminar and other talks. The slides of my conference talks can be found in the Publications section of this website. For older talks, please see my old website.