University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Compositionality of game-based secure key-exchange

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Compositionality of game-based secure key-exchange

Download to your calendar using vCal

If you have a question about this talk, please contact Mustapha Amrani .

Semantics and Syntax: A Legacy of Alan Turing

In this talk I will present two approaches towards modular security proofs for the composition of key exchange protocols with arbitrary other cryptographic tasks. While the two approaches differ in their scope and applicability they both rely on game-based security security and avoids the idiosyncrasies of simulation-based definitions. As an application, I will discuss how the results can be applied to proving the security of the Transport Layer Security protocol.

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

CBL Seminar Room (BE4-38, http://learning.eng.cam.ac.uk/Public/Directions) Average on weekdays: 8851.025 kWh Average on Saturdays: 7611.0 kWh

Other talks

Polar Oceans Seminar Talk Title to be confirmed Group Work The physics of decision: how competitive systems compute, route, and remember Talk TBC Title to be confirmed
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity