BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Computer-aided security proofs - Barthe\, G (Madrid Institute of A
 dvanced Studies (IMDEA))
DTSTART:20120413T150000Z
DTEND:20120413T160000Z
UID:TALK37467@talks.cam.ac.uk
CONTACT:Mustapha Amrani
DESCRIPTION:CertiCrypt is a toolset that assists the construction and veri
 fication of cryptographic proofs\; it supports common patterns of reasonin
 g in cryptography\, and has been used successfully to prove the security o
 f many examples\, including encryption schemes\, signature schemes\, zero-
 knowledge protocols and hash functions. I will present recent developments
  in the tool and survey new applications.\n
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR