Short Bio and Research:

I am a post-doctoral researcher in formal methods for security protocols and security-aware applications at Politecnico di Torino. I am a member of the research group led by prof. Riccardo Sisto, and I also collaborate with Dr. Davide Pozza.

Within my research work, 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. Moreover, I have been working on some theoretical reasoning about sufficient conditions for encoding functions abstraction in formal models, aimed at bridging the gap between formal models and their implementations.

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.

I received my PhD in 2010, and my M.S. in computer engineering in 2006, both at Politecnico di Torino.