Objectifs
Au terme de ce cours, la personne étudiante sera en mesure de/d’ :
- Maîtriser des techniques avancées pour la conception de dispositifs matériels sécurisés ;
- Analyser les défis de sécurité associés aux dispositifs matériels tels que les systèmes embarqués ;
- Intégrer des fonctionnalités de sécurité dans les systèmes embarqués.
Contenu
Introduction à la Sécurité Matérielle : Concepts fondamentaux, attaques, vulnérabilités, contre-mesures, dispositifs matériels (FPGA, ASIC, PCB, SOC, systèmes embarqués), interaction matériel-firmware-logiciel. Chevaux de Troie matériels : caractéristiques, insertion, détection et prévention, design-for-trust. Attaques par canaux auxiliaires : basées sur la puissance, sur les émissions électromagnétiques, contre-mesures. Attaques par injection de fautes et attaques temporelles. Attaques orientées test : basées sur le scan et JTAG. Attaques physiques : rétro-ingénierie au niveau des puces, cartes et systèmes, attaque par sondage. Contrefaçon et clonage de matériel. Primitives de sécurité matérielle : fonction physique non-clonable (PUF), générateur de nombres aléatoires véritables (TRNG), conception pour la lutte contre la contrefaçon (DFAC), PUF basés sur des nanodispositifs émergents (PCM, RRAM, etc.). Évaluation de la sécurité matérielle, conception pour la sécurité, techniques d’obfuscation matérielle. Plateforme de hacking matériel. Les étudiants seront amenés à travailler sur des études de cas et des projets pratiques pour appliquer les concepts appris et à développer des solutions de sécurité matérielle adaptées aux besoins spécifiques des systèmes embarqués.