skip to content

Key Exchange: Security Models and Automatic Analysis

Thursday 2nd February 2012 - 14:00 to 14:45
INI Seminar Room 1
During the last 20 years many game-based security models have been proposed for the analysis of Key Exchange protocols. The intent of these models is to prove Key Exchange protocols secure in the presence of increasingly powerful adversaries. In this talk, we present the main ingredients of these models, and relate them to practical threat models. We 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 show how we use automatic analysis for evaluating existing security models as well as for developing alternative security models.
The video for this talk should appear here if JavaScript is enabled.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons