Short Bio and Research:

I am a post-doctoral researcher in formal methods for security protocols and security-aware applications at the MSR-INRIA Joint Centre. I am a member of the research group led by Karthikeyan Bhargavan, working in the CRYSP project on refinement-types for security protocols.

I received my PhD in 2010 at Politecnico di Torino, supervised by prof. Riccardo Sisto. During my PhD I co-developed a framework, called spi2java, that allows to semi-automatically generate Java implementations of security protocols formally specified in the spi calculus language.

For half a year, I have been a visiting PhD student at the Microsoft Research Centre, Cambridge, UK, and the Open University, UK, supervised by prof. Jan Jürjens. During my visit, I developed novel formally-based methodologies to design and develop monitors for legacy security protocols implementations.

I am a member of the CryptoForma network, aimed at bridging the gap between symbolic and computational formal methods.

Internships:

Summer and masters' internship (stage) 2012 on verified cryptographic protocol implementations. To apply, email me with your CV.