BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Compositionality of game-based secure key-exchange - Warinschi\, B
  (Bristol)
DTSTART:20120410T123000Z
DTEND:20120410T133000Z
UID:TALK37383@talks.cam.ac.uk
CONTACT:Mustapha Amrani
DESCRIPTION:In this talk I will present two approaches towards modular sec
 urity 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 avoid
 s 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.\n
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR