BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Key Exchange: Security Models and Automatic Analysis - Cremers\, C
  (ETH Zurich)
DTSTART:20120202T140000Z
DTEND:20120202T144500Z
UID:TALK36119@talks.cam.ac.uk
CONTACT:Mustapha Amrani
DESCRIPTION:During the last 20 years many game-based security models have 
 been proposed for the analysis of Key Exchange protocols. The intent of th
 ese models is to prove Key Exchange protocols secure in the presence of in
 creasingly powerful adversaries. In this talk\, we present the main ingred
 ients of these models\, and relate them to practical threat models.\n \nWe
  highlight both benefits and drawbacks of the way in which these security 
 models are currently defined. Additionally\, we present to what extent we 
 can currently provide automatic analysis for Key Exchange protocols. We sh
 ow how we use automatic analysis for evaluating existing security models a
 s well as for developing alternative security models.\n
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR