Partager cette page :

Séminaire mardi 09/03/2021 par David Baelde, « Preuve formelle de protocoles cryptographiques »

le 9 mars 2021

ENS Rennes

Intervention de David Baelde, enseignant-chercheur au LMF (anciennement Laboratoire de Spécification et Vérification) de l'ENS Paris-Saclay, dans le cadre des séminaires du département Informatique et télécommunications.

Titre : Modelling and verifying unlinkability

In this talk I will give an overview of how formal methods can be usedto automatically analyze and prove cryptographic protocols. I will focus in particular on the notion of unlinkability (sometimes called untracability) illustrating the difficulties in modelling it formally and verifying it automatically. This is based on joint work with Stéphanie Delaune, Lucca Hirschi and Solène Moreau.

De 16h15 à 17h15 en visio-conférence via ce serveur BigBlueButton. Séminaire ouvert à toutes et à tous, élèves et personnel de l'ENS Rennes et extérieurs, tous départements confondus. Obligatoire pour les élèves de 1re et 2e année du département informatique.
Thématique(s)
Recherche - Valorisation, Formation

Mise à jour le 16 mars 2021