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/