Aspects mathématiques de la cryptographie post-quantique

La cryptographie post-quantique a pour objectif de développer des algorithmes mathématiques assurant la sécurité et résistant à l’ordinateur quantique. En effet, il est établi que si un tel ordinateur est mis au point, alors il permettra de casser de nombreux cryptosystèmes largement utilisés aujourd’hui comme RSA, ElGamal et d'autres. La communauté cryptographique a identifié 5 grandes pistes pour construire des cryptosystèmes résistants à l'ordinateur quantique. Elles exploitent la difficulté présumée de problèmes portant sur :
- les codes correcteurs d'erreurs ;
- les isogénies ;
- les réseaux euclidiens ;
- les systèmes polynomiaux multivariés ;
- les fonctions de hachage.
Dans cette école nous nous intéressons aux 3 premières pistes, dont les aspects mathématiques font l'objet de recherches très actives.
A l’issu de cette école, les participants maîtriseront la notion de cryptographie à clé publique, les bases mathématiques pour construire les principaux cryptosystèmes post-quantiques, ainsi que les différents types d’attaques. Un accent fort sera mis sur les sujets de recherches actuellement dynamiques.
Programme scientifique
-
Cours 1: "Cryptographie basée sur les codes correcteurs d'erreurs", Thomas Debris-Alazard (India, France) & El Mamoun Souidi (Université Mohammed V de Rabat, Maroc)
-
Cours 2: "Cryptographie reposant sur les réseaux euclidiens", Damien Stehle (École Normale Supérieure de Lyon, France) & Adeline Roux-Langlois (Institut de Recherche en Informatique et Systèmes Aléatoires, France) & Alice Pellet-Mary (Université de Bordeau, France)
-
Cours 3: "Cryptographie reposant sur les isogénies", Luca De Feo (IBM Research Zürich, Suisse) & Christophe Petit (Université libre de Bruxelles, Belgique)
-
Cours 4: "Cryptanalysis: Lattice Reductions, Combinatorial Algorithms, and their Applications", Elena Kirshanova (Immanuel Kant Baltic Federal University, Russie) & Damien Stehle (École Normale Supérieure de Lyon, France)
Comité Scientifique
- Luca DE FEO, IBM Research Zürich, Switzerland,
- Thomas DEBRIS-ALAZARD, INRIA, France,
-
Elena KIRSHANOVA, I.Kant Baltic Federal University, Russian Federation,
- Ghizlane ORHANOU, Université Mohammed V de Rabat, Morocco,
- Alice PELLET--MARY, CNRS, France,
- Christophe PETIT, Université libre de Bruxelles, Belgium,
- Adeline ROUX-LANGLOIS, Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) Rennes,
- El Mamoun SOUIDI, Université Mohammed V de Rabat, Morocco,
Coordinateur local
- Damien STEHLE, École Normale Supérieure de Lyon, France,
Coordinateur extérieur
Comité d'organisation
- Youssef
ZAHIR,
Université Mohammed V de Rabat
-
Azouz
CHERRABI,
Université Mohammed V de Rabat
-
Mounia
MIKRAM, Ecole des Sciences de l'Information
-
Maryem
RHANOUI, Ecole des Sciences de l'Information
-
Sidi Mohamed
DOUIRI,
Université Mohammed V de Rabat
-
Ali
OUADFEL, Université Mohammed V de Rabat
-
Fouad
ZINOUN
Université Mohammed V de Rabat
-
Hafida
BENAZZA, Université Mohammed V de Rabat
-
Houda
JOUHARI, Université MED Fès
-
Mustapha ESGHIR,
Université Mohammed V de Rabat
- El Mamoun SOUIDI, Université Mohammed V de Rabat,
Coordinateur local
- Damien STEHLE, École Normale Supérieure de Lyon, France,
Coordinateur extérieur