Welcome to my Home!

I studied at the University of Padova, Italy, where I got my Laurea Triennale (bachelor degree) in Mathematics and my Laurea Magistrale (master degree) in Computer Science.

For my master thesis I came to Paris, where I started working under the supervision of Bruno Blanchet.

By 2010 I’m a phd student at INRIA, in the Prosecco team in Paris.

Currently I’m working on an extention of Proverif (an automatic verifier for cryptographic protocols) to group protocols.