BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Constructive cryptography - Maurer\, U (ETH Zrich)
DTSTART:20120410T150000Z
DTEND:20120410T160000Z
UID:TALK37384@talks.cam.ac.uk
CONTACT:Mustapha Amrani
DESCRIPTION:I will present constructive cryptography\, a new paradigm for 
 defining and proving security of cryptographic protocols.  Constructive cr
 yptography differs from previous approaches both in terms of the types of 
 statements made as well as in terms of the abstraction level at which they
  are proved.\n
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR