Thursday, November 26, 2015
Speaker: Marko Horvat
Venue: IST Austria
We apply state-of-the-art model checkers and theorem provers for information and
network security to break real-world security protocols. When we find potential
vulnerabilities, we gradually harden the protocols against powerful attackers.
We present our work that influenced an update of the ISO/IEC 11770 standard for
key management techniques, and joint work with Mozilla that confirms the existence
of a conjectured flaw in the not-yet-finalised TLS 1.3 protocol.