Key Exchange: Security Models and Automatic Analysis

Add to your list(s) Download to your calendar using vCal

• Cremers, C (ETH Zurich)
• Thursday 02 February 2012, 14:00-14:45
• Seminar Room 1, Newton Institute.

If you have a question about this talk, please contact Mustapha Amrani.

Semantics and Syntax: A Legacy of Alan Turing

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.

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

• All CMS events
• Featured lists
• INI info aggregator
• Isaac Newton Institute Seminar Series
• School of Physical Sciences
• Seminar Room 1, Newton Institute
• bld31

Note that ex-directory lists are not shown.