BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Is SSL provably secure ? - Nigel Smart\, Department of Computer Sc
 ience\, University of Bristol
DTSTART:20080222T160000Z
DTEND:20080222T170000Z
UID:TALK8928@talks.cam.ac.uk
CONTACT:Saar Drimer
DESCRIPTION:In this talk I will describe some joint work with P. Morrissey
  and B. Warinschi on the SSL protocol. We attempt to show that an abstract
 ion of the SSL protocol does provide a secure key agreement protocol\, and
  we quantify exactly what properties are required of any subprotocol which
  produces the pre-master secret.
LOCATION:Lecture Theatre 2\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR