Marko Horvat

"Hardening current (and future) security protocol standards"

(Vortrag im Rahmen der "MPI Distinguished Lecture Series" in Kooperation mit dem Fachbereich Informatik)

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 an extension of the not-yet-finalised TLS 1.3 protocol.

Bio: Marko Horvat is a PhD candidate at the University of Oxford working with Cas Cremers. His thesis is on "Formal analysis of modern security protocols in current standards." Previously, he received his M.S. in Mathematics from the University of Zagreb.