Alfredo PirontiPost-Doctoral ResearcherMicrosoft Research - INRIA Joint Centre e-mail: alfredo.pironti at inria.fr (where 'at' stands for '@') |
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.
Summer and masters' internship (stage) 2012 on verified cryptographic protocol implementations. To apply, email me with your CV.