Alfredo Pironti is a postdoctoral researcher at INRIA, Paris, France. His research interests are focused on verification of security protocol implementations and traffic analysis. He developed and verified the cryptographic security of miTLS, an open source reference implementation of the TLS protocol. He also designed traffic analysis countermeasures for TLS which are under standardisation. In the past, he designed and developed Spi2Java, a framework for the automatic generation of Java implementations of security protocols from formal specifications.