Master 1 · 5 cours · 14 leçons · 60 h
Cryptographie post-quantique
Comprendre ce que la menace quantique casse, maîtriser les réseaux euclidiens qui portent les standards NIST, et savoir conduire une migration.
Commencer : Pourquoi migrer0 % · 0 / 14 leçons
- C1Non commencé
Socle et menace quantique
3 leçons · 10 hObjectif. Comprendre ce qui tombe, pourquoi, et à quelle échéance — sans faire un cours de physique.
- Pourquoi migrerVous êtes iciSituer l'urgence sans la surjouer : hypothèses classiques menacées, récolte-maintenant-déchiffre-plus-tard, calendriers NIST et ANSSI.3 h · en cours
- Calcul quantique pour cryptographesComprendre l'attaque sans faire de physique : transformée de Fourier quantique, Shor en temps polynomial, Grover et son simple gain quadratique.4 h · non commencée
- Outils mathématiquesAnneaux de polynômes Z_q[X]/(X^n+1), échantillonnage gaussien, corps finis, rappels de complexité et de réductions.3 h · non commencée
- C2Non commencé
Réseaux euclidiens
4 leçons · 20 hObjectif. Le cœur de l'UE : l'objet, ses problèmes difficiles, et les deux standards qui en sont tirés.
- Réseaux : fondementsRéseau, base, déterminant ; SVP, CVP et SIVP ; l'arrondi de Babai selon la base ; réduction LLL et BKZ, et l'estimation de sécurité qui en découle.5 h · non commencée
- LWE et ses variantesRésoudre un système linéaire bruité : réduction pire cas/cas moyen de Regev, Ring-LWE et Module-LWE, SIS et signatures.5 h · non commencée
- ML-KEM (Kyber)Du PKE au KEM IND-CCA2 par Fujisaki-Okamoto : compression, échantillonnage, jeux 512/768/1024, tailles et taux d'échec de déchiffrement.5 h · non commencée
- ML-DSA (Dilithium) et FalconFiat-Shamir avec avortements et rejet d'échantillonnage ; Falcon, NTRU et échantillonneur gaussien, et leurs compromis d'implémentation.5 h · non commencée
- C3Non commencé
Les autres familles
3 leçons · 12 hObjectif. Codes, hachage, isogénies et multivarié : les alternatives, leurs compromis, et deux candidats brisés.
- Codes correcteursDécodage par syndrome et décodage générique, McEliece et Niederreiter, HQC : une sécurité très étudiée contre des clés publiques énormes.5 h · non commencée
- Signatures à base de hachageLamport, Winternitz et arbres de Merkle ; SLH-DSA sans état, XMSS et LMS avec état, et le danger de réutilisation d'index.4 h · non commencée
- Isogénies et multivariéLa cassure de SIKE en 2022 et ce qu'elle enseigne, CSIDH et SQIsign, l'échec de Rainbow : la valeur pédagogique des candidats brisés.3 h · non commencée
- C4Non commencé
Sécurité et implémentation
2 leçons · 10 hObjectif. Ce qu'on prouve dans le modèle QROM, et tout ce qu'une implémentation peut laisser fuir.
- Sécurité prouvée en contexte post-quantiqueIND-CPA, IND-CCA2, EUF-CMA ; modèle QROM contre ROM classique ; Fujisaki-Okamoto et sa preuve ; niveaux NIST 1 à 5.4 h · non commencée
- Canaux auxiliaires et implémentationTemps, consommation, fautes ; attaques sur l'échantillonnage gaussien et le rejet ; masquage, temps constant, oracles de déchiffrement sur les KEM.6 h · non commencée
- C5Non commencé
Migration
2 leçons · 8 hObjectif. Hybrider, déployer, inventorier : passer du schéma normalisé au système qui tourne.
- Hybridation et déploiementCombinateurs hybrides X25519 + ML-KEM, intégration TLS 1.3 et SSH, taille des handshakes et fragmentation, certificats post-quantiques.4 h · non commencée
- Agilité cryptographique et gouvernanceInventaire cryptographique et CBOM, plan de migration par criticité, normalisation FIPS/ETSI/IETF, dette cryptographique et rejeu du scénario.4 h · non commencée