e-mail: alfredo.pironti at inria.fr (where 'at' stands for '@')
May 17, 2013 My attack to cast illegitimate votes, control Microsoft accounts and more will appear at Black Hat 2013
I am a post-doctoral researcher in formal methods for security protocols and security-aware applications. My current research project is miTLS, a verified implementation of the TLS security protocol in the computational model of cryptography, via refinement types. I work in the Prosecco research group at INRIA and in the Secure Distributed Computing project at the MSR-INRIA Joint Centre. My main current collaborators are Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss and Pierre-Yves Strub.
I received my PhD in 2010 at Politecnico di Torino, supervised by 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 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.