Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

Using ProVerif to Analyze Protocols with XOR and Diffie-Hellman Exponentiation

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 Ralf Küsters
Date
Le lundi 29 juin 2009 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
Ralf Küsters (University of Trier, Germany)

ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-Hellman exponentiation has been problematic.

In this talk, I will present an approach which enables ProVerif, and related tools, to analyze a large class of protocols that employ the XOR operator and Diffie-Hellman exponentiation.

The core of our approach is to reduce the derivation problem for Horn theories modulo algebraic properties of XOR/Diffie-Hellman exponentiation to a purely syntactical derivation problem for Horn theories. The latter problem can then be solved by tools such as ProVerif. Our reduction works for a large class of Horn theories, allowing to model a wide range of intruder capabilities and protocols. We implemented our reduction and, in combination with ProVerif, applied it in the automatic analysis of several state-of-the-art protocols that use XOR or Diffie-Hellman exponentiation.

This talk is based on joint work with Tomasz Truderung, published at CCS 2008 and CSF 2009.


À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 19 février

Les séminaires précédents