Formation en ingénierie de sécurité et cryptographie

Leçon 1 • Cycle de vie de l'ingénierie de la sécurité

Mappe les activités de sécurité à chaque phase du cycle de vie du développement logiciel. Établit le contexte de processus pour tous les contrôles techniques enseignés ultérieurement.

Leçon 2 • Mentalité de l'attaquant et modèles d'adversaire

Examine les motivations, les capacités et les tactiques des attaquants pour éclairer la conception défensive. Développe l'empathie pour la pensée adversaire en tant que compétence d'ingénierie fondamentale.

Leçon 3 • Principes et concepts fondamentaux de sécurité

Présente la confidentialité, l'intégrité, la disponibilité et la non-répudiation comme moteurs de conception. Relie les principes fondamentaux à chaque décision d'ingénierie ultérieure dans le cours.

Leçon 4 • Ingénierie des exigences de sécurité

Couvre l'élicitation, la documentation et la validation des exigences de sécurité auprès des parties prenantes. Relie les exigences aux contrôles vérifiables et aux critères d'acceptation.

Leçon 1 • Probabilité et théorie de l'information

Enseigne l'entropie, le caractère aléatoire et les définitions probabilistes de sécurité. Ancre les preuves de sécurité et l'analyse de l'espace des clés dans des termes rigoureux de théorie de l'information.

Leçon 2 • Complexité computationnelle pour la cryptographie

Explique les hypothèses de dureté et les classes de complexité qui justifient la sécurité cryptographique. Permet aux étudiants d'évaluer si la sécurité d'un schéma est bien fondée.

Leçon 3 • Arithmétique modulaire et théorie des nombres

Couvre les opérations modulaires, les congruences et les propriétés des nombres premiers essentielles à la cryptographie. Fournit la boîte à outils arithmétique pour tous les algorithmes symétriques et asymétriques.

Leçon 1 • Chiffrements classiques et historiques

Passe en revue les chiffrements par substitution, transposition et Vigenère pour illustrer les faiblesses fondamentales. Motive les exigences de conception modernes par la cryptanalyse historique.

Leçon 2 • Conception des chiffrements par blocs et AES

Examine les réseaux de substitution-permutation, les structures de Feistel et le fonctionnement interne d'AES. Fournit les connaissances structurelles nécessaires pour évaluer la sécurité des chiffrements par blocs.

Leçon 3 • Schémas de chiffrement authentifié

Intègre la confidentialité et l'intégrité dans des constructions AEAD combinées telles que AES-GCM et ChaCha20-Poly1305. Relie à la conception de protocoles sécurisés dans les chapitres ultérieurs.

Leçon 4 • Modes de fonctionnement

Couvre les modes ECB, CBC, CTR, GCM et autres avec leurs propriétés de sécurité et leurs cas de défaillance. Permet une sélection correcte du mode pour des besoins spécifiques de confidentialité et d'intégrité.

Leçon 1 • Cryptosystème RSA

Dérive RSA de la dureté de la factorisation entière et couvre la génération de clés, le chiffrement et la signature. Met en évidence les exigences de bourrage et les pièges de mise en œuvre courants.

Leçon 2 • Signatures numériques et non-répudiation

Formalise les modèles de sécurité des signatures et couvre DSA, EdDSA et les signatures aveugles. Relie les schémas de signature aux exigences d'identité et de non-répudiation.

Leçon 3 • Encapsulation de clé et chiffrement hybride

Combine le transport de clé asymétrique avec le chiffrement symétrique pour une protection pratique des données. Prépare les étudiants à concevoir des systèmes hybrides utilisés dans TLS et la messagerie sécurisée.

Leçon 4 • Cryptographie à courbe elliptique

Couvre les groupes de courbes elliptiques, ECDH et ECDSA en mettant l'accent sur la sélection des courbes et la sécurité. Démontre les avantages en termes d'efficacité par rapport à RSA à des niveaux de sécurité équivalents.

Leçon 1 • Famille SHA et algorithmes de hachage modernes

Couvre les faiblesses de SHA-1, le fonctionnement interne de SHA-2 et la conception en éponge de SHA-3. Guide la sélection d'algorithmes en fonction des exigences de sécurité et des contraintes de performance.

Leçon 2 • Hachage de mots de passe et dérivation de clés

Couvre bcrypt, scrypt, Argon2 et PBKDF2 pour le stockage de mots de passe et l'étirement de clés. Aborde la résistance à la mémoire et au parallélisme contre les attaques hors ligne.

Leçon 3 • Propriétés et conception des fonctions de hachage

Définit la résistance à la préimage, à la seconde préimage et aux collisions avec des modèles de sécurité formels. Établit les propriétés dont dépendent toutes les applications de hachage ultérieures.

Leçon 4 • Schémas d'engagement et bases de la connaissance nulle

Présente les engagements basés sur le hachage et l'intuition derrière les preuves à connaissance nulle. Relie ces primitives à la conception de protocoles préservant la vie privée dans les chapitres ultérieurs.

Leçon 1 • Gestion du cycle de vie des certificats

Enseigne les workflows d'émission, de renouvellement, de révocation et d'expiration pour une PKI opérationnelle. Relie les lacunes du cycle de vie aux pannes réelles et aux incidents de sécurité.

Leçon 2 • Certificats X.509 et autorités de certification

Couvre la structure des certificats, les extensions et la conception de hiérarchies de CA pour l'établissement de la confiance. Fournit les connaissances structurelles nécessaires à toutes les décisions de déploiement PKI.

Leçon 3 • Protocoles d'accord de clés et rotation

Couvre le calendrier de clés TLS 1.3, le crantage du protocole Signal et les stratégies de rotation automatisée des clés. Prépare les étudiants à mettre en œuvre une gestion de clés à secret parfait et à capacité de récupération après intrusion.

Leçon 4 • Modèles de confiance et toile de confiance

Compare les modèles de confiance PKI hiérarchique, toile de confiance et DANE avec leurs compromis de sécurité. Permet des décisions éclairées sur l'architecture de confiance pour divers contextes de déploiement.

Leçon 1 • Objectifs de sécurité des protocoles et modèles de menace

Définit les objectifs d'authentification, de secret et d'intégrité dans le modèle d'adversaire Dolev-Yao. Cadre toute analyse de protocole ultérieure dans un contexte de menace formel cohérent.

Leçon 2 • Attaques courantes sur les protocoles

Examine les attaques par rejeu, réflexion, homme du milieu et déclassement avec des exemples concrets. Développe la compétence d'analyse adversaire nécessaire pour renforcer les implémentations de protocoles.

Leçon 3 • TLS et protocoles de transport sécurisés

Analyse en profondeur de la poignée de main TLS 1.3, de la couche d'enregistrement et des protections contre le déclassement. Relie le fonctionnement interne du protocole aux primitives cryptographiques couvertes dans les chapitres précédents.

Leçon 4 • Méthodes formelles de vérification de protocoles

Présente ProVerif, Tamarin et la logique BAN pour les preuves automatisées de correction de protocoles. Démontre comment les outils formels détectent les défauts manqués par l'analyse manuelle.

Leçon 1 • Vulnérabilités de mise en œuvre cryptographique

Couvre les canaux secondaires temporels, les attaques par oracle de bourrage et l'injection de fautes dans le code cryptographique. Relie les défauts d'implémentation aux primitives théoriques étudiées dans les chapitres précédents.

Leçon 2 • Conception et mauvais usage des API cryptographiques

Analyse les défauts de conception d'API courants qui conduisent à un mauvais usage, y compris la confusion de clés et l'exposition de nonces. Guide les étudiants dans la conception d'API difficiles à utiliser de manière incorrecte.

Leçon 3 • Techniques d'analyse par canaux auxiliaires

Enseigne l'analyse de puissance, l'analyse électromagnétique et les canaux auxiliaires acoustiques contre le matériel. Prépare les étudiants à évaluer la sécurité physique des dispositifs cryptographiques.

Leçon 4 • Agilité cryptographique et migration

Enseigne la négociation d'algorithmes, la planification de la dépréciation et les stratégies de migration pour les systèmes cryptographiques vieillissants. Prépare les étudiants à gérer des systèmes à longue durée de vie lors des transitions d'algorithmes.