Bjorn Tackmann (Theory Seminar F13)

"Constructive Cryptography -- Introduction and Applications"
Bjorn Tackmann
ETH Zurich
Monday, October 21th, 2013, 2:00 pm
EBU3B, Room 4140

Constructive cryptography is a paradigm for defining security which has been introduced by Maurer and Renner in the context of the abstract cryptography framework. The underlying idea of constructive cryptography is that one understands a protocol as a construction of a desired resource (e.g. a secure channel) from one or more assumed resources (e.g. an insecure channel and a shared key). Advantages of this approach are the clear semantics of the resulting security statements and the strong compositionality which allows for a modular protocol design and proof.

The talk starts with an introduction to the constructive cryptography paradigm, shows how one obtains security definitions in the context of secure communication, and sketches the relation to previous definitions that are based on other paradigms such as game-based security or UC. The talk will then focus on recent results on (unilateral) key exchange.