Programme de l’UE :
La cryptographie a pour objectif de sécuriser les communications, en présence de parties malhonnêtes. Cette discipline a de nombreux liens avec l’informatique théorique (théorie de la complexité, preuves de sécurité) mais également de nombreuses retombées pratiques : Les protocoles cryptographiques sont omni-présents dans la vie quotidienne (commerce électronique, cartes de paiement, vote électronique, etc).
Ce cours est une introduction aux différents aspects de la cryptographie contemporaine. Nous aborderons les thèmes suivants :
- Chiffrement symétrique
- Chiffrement asymétrique
- Fonctions de hachage cryptographiques
- Authentification
- Générateurs pseudo-aléatoires
- Preuves à divulgation nulle de connaissance
- Infrastructure de clés publiques
- Crytanalyse
- Sécurité prouvée
- Partage de secret
Nous décrirons également plusieurs applications pratiques des concepts théoriques développés : PGP, TLS/SSL, vote électronique.
Intervenants
- Damien Stehlé, Pr ENS Lyon
- Benoit Libert
- Vincent Neiger