Faculty of Informatics and Statistics, Department of Information and Knowledge Engineering (DIKE)

Date and time: December 2 2010 (10:30 – 12:00). Non–standard date or time!

Room: 403 NB


Formal analysis of cryptographic protocols


  • Radek Palovský, KIZI VŠE

Formal analysis of cryptographic protocols is a method of verifying the security of such protocols. It is based on the assumtion that the basic components of these protocols (cryptographic primitives) are perfect, and tries to discover information leakage. One the of best-known examples of formal analysis is the Lowe attack on the Needham-Schroeder protocol (after 15 years of protocol usage). Two tools for such formal analysis will be presented.

Downloads: slides 1 

Powered by Resource Description Framework (RDF)