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

Cryptographic protocols as Building Blocks: From the Man-in-the-Middle attack to Compositional Symbolic Analysis.

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

 Cas Cremers
Le mardi 31 mars 2009 à 11:00
Salle de Conférence (Pavillon des Jardins)
Cas Cremers (Information Security group, ETH Zurich, Suisse)

Despite using very coarse abstractions, and making strong assumptions on the environment, the symbolic analysis of cryptographic protocols has proven very successful. By now, many dimensions of the symbolic (Dolev-Yao) model have been explored to some extent, including compositionality properties of protocols and the relation between symbolic correctness proofs and computational proofs.
One might expect that formal approaches are ideally suited for building larger communication infrastructures, because of their high level of abstraction. However, in practice, symbolic methods are only used for analysis of existing protocols, whereas protocol construction is performed at the detailed level of cryptographic protocols.
In this talk we cover some of the requirements for using cryptographic protocols as components in symbolic, Dolev-Yao like, analyses. In particular, we discuss various compositionality results, and their relation to using cryptographic protocols as building blocks. Finally, we revisit the cryptographic requirements on real-world protocols and show how they influence the compositionality problem, and conclude with a number of open problems.

À 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