Marko Horvat(University of Oxford, UK)
hosted by Rupak Majumdar
"Hardening current (and future) security protocol standards"
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.
|Time:||Wednesday, 10.02.2016, 11:00 am|
|Place:||MPI-SWS Kaiserslautern Paul Ehrlich Str. 26, room 111|
|Video:||Simultaneous video cast to MMPI-SWS Saarbrücken, Campus E1 5, room 029|