Cryptographie Symétrique — Chiffrement léger & S-boxes
AES, Midori, SCREAM · fonctions booléennes vectorielles
Formation adossée à mes travaux de recherche au laboratoire LAGA (UMR 7539) sur la cryptanalyse commutative et les primitives légères. Couvre les chiffrements par blocs modernes, les propriétés algébriques des S-boxes (non-linéarité, uniformité différentielle, degré algébrique, APN-ness), la forme algébrique normale et la transformée de Walsh. TD guidés en SageMath et Python.
Ce que vous saurez faire
- Comprendre les propriétés de sécurité d'un chiffrement moderne
- Analyser une S-box (non-linéarité, uniformité différentielle)
- Mener une cryptanalyse différentielle simple sur un chiffrement réduit
- Choisir un chiffrement adapté à une contrainte (léger, authentifié, post-quantique)
À qui c'est destiné
- Étudiants de L3 ou M1 en mathématiques / informatique
- Ingénieurs voulant comprendre la crypto qu'ils utilisent
- Chercheurs curieux d'entrer dans la cryptographie symétrique
Ce qu'il vaut mieux savoir avant
- Notions d'algèbre linéaire (matrices, corps finis)
- Programmation Python de base (facultatif mais recommandé)
- Curiosité pour les preuves de sécurité
Chapitre par chapitre.
Introduction et fondations
Vocabulaire, propriétés de sécurité, modèles d'attaquant.
Fonctions booléennes vectorielles
Représentations, ANF, corrélation, immunité algébrique.
S-boxes : construction et analyse
AES, PRESENT, SKINNY — critères de non-linéarité.
Cryptanalyse différentielle
Tables DDT, chaînes de différences, complexité.
Cryptanalyse linéaire
Approximations linéaires, tables LAT, biais empirique.
Chiffrement léger (IoT)
Contraintes matérielles, PRESENT, GIFT, ASCON.
Mode d'opération et intégrité
CBC/CTR/GCM, MAC, chiffrement authentifié.
Étude de cas et projet final
Analyse d'un chiffrement récent + soutenance.
Prix — accès à vie
149,00 €
Un paiement, tout le contenu, mises à jour incluses.