Le laboratoire de Mathématiques, Informatique, Application et Sécurité de l'information et le CIMPA organisent à Rabat l'école
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 (INRIA, 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 (CNRS, France) & Alice Pellet-Mary (CNRS et université de Bordeaux, 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 (Technology Innovation Institute, Immanuel Kant Baltic Federal University, Kaliningrad, Russie) & Damien Stehlé (École Normale Supérieure de Lyon, France)
Comité Scientifique
- Luca DE FEO, IBM Research Zürich, Switzerland,
- Thomas DEBRIS-ALAZARD, INRIA, France,
-
Elena KIRSHANOVA, Technology Innovation Institute, Immanuel Kant Baltic Federal University, Kaliningrad, Russie,
- Ghizlane ORHANOU, Université Mohammed V de Rabat, Morocco,
- Alice PELLET--MARY, CNRS et université de Bordeaux, France,
- Christophe PETIT, Université libre de Bruxelles, Belgium,
- Adeline ROUX-LANGLOIS, CNRS, France
- El Mamoun SOUIDI, Université Mohammed V de Rabat, Morocco,
Coordinateur local
- Damien Stehlé, École Normale Supérieure de Lyon, France,
Coordinateur extérieur
Comité d'organisation
- Hafida Benazza, Université Mohammed V de Rabat
- Azzouz Cherrabi, Université Mohammed V de Rabat
- Sidi Mohamed Douiri, Université Mohammed V de Rabat
- Mustapha Esghir, Université Mohammed V de Rabat
- Houda Jouhari, Université MED Fès
- Mounia Mikram, ESI Rabat
- Ali Ouadfel, Université Mohammed V de Rabat
- Maryem Rhanoui, ESI Rabat
- El Mamoun SOUIDI, Université Mohammed V de Rabat, Morocco,
Coordinateur local
- Damien Stehlé, École Normale Supérieure de Lyon, France,
Coordinateur extérieur
- Youssef Zahir, Université Mohammed V de Rabat
- Fouad Zinoun, Université Mohammed V de Rabat