BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Cryptoforma: Computer-Aided Cryptographic proofs with EasyCrypt - 
 Gilles Barthe
DTSTART:20130415T120000Z
DTEND:20130415T133000Z
UID:TALK44673@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
DESCRIPTION:EasyCrypt is a tool for constructing and verifying cryptograph
 ic proofs. EasyCrypt can be  used as a stand-alone application\, or as a v
 erifying back-end for cryptographic compilers. The presentation will outli
 ne the language-based methods that underlie the design of EasyCrypt and  i
 llustrate some of their applications. \n\nAlso check www.easycrypt.info\n
LOCATION:Auditorium\, Microsoft Research Ltd\, 21 Station Road\, Cambridge
 \, CB1 2FB
END:VEVENT
END:VCALENDAR