A Systematic Approach to Cybersecurity: Models, Assumptions, Proofs (DLS in Cybersecurity)

12.11.2015, 16:15 – 17:15

2015/11/12 16:15-17:15

Speaker: Jörn Müller-Quade, Karlsruhe Institute of Technology (KIT) | Location: Hochschulstraße 10 (S2|02), Piloty Building, Room C110

Organizer: CASED, CROSSING and EC SPRIDE

Abstract

The Talk asks to what extend the cryptographic methodology of “provable security” can be extended to IT security. One of the major challenges here is the complexity of real world systems and the current lack of scalability of provable security. Based on the “Universal Composability” framework and real examples the talk examines the state of the art and future directions of provable security.

Short Bio

Website of Prof. Dr. Jörn Müller-Quade at KIT.