Black Hat USA Registration Black Hat USA Registration Black Hat USA Briefings Black Hat USA Briefings Black Hat USA Training Black Hat USA Training Black Hat USA Schedule Black Hat USA Schedule Black Hat USA Sponsors Black Hat USA Sponsors Black Hat  USA Special Events Black Hat  USA Special Events Black Hat USA Venue Black Hat USA Venue
 
 

Speakers

Alfredo Pironti

Alfredo Pironti

INRIA

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.



Sessions with this speaker