Formation Sécurité physique et logique des composants

Jour 1 - Introduction aux composants et sécurisation des interfaces
Matin

Types de composants et architecture matérielle

• Découverte des microcontrôleurs, FPGA, SoC et processeurs sécurisés (TPM, enclaves Intel SGX, RISC-V)
• Introduction à Secureboot et TEE
• Reconnaissance d'une cible hardware

Exemple de travaux pratiques (à titre indicatif)

• Lecture et interprétation de datasheet

Après-midi

Attaque sur les canaux de communications internes

• Présentation et attaque sur bus internes (SPI, I2C)

Exemple de travaux pratiques (à titre indicatif)

• Utilisation et conception d'outils pour observer les bus de communications

Jour 2 – Interagir avec le code
Matin

Introduction au ports de débogage

• Boundary scan et JTAG, les ports de débogages
• Présentation SWD et ICSP, des approches modernes ou propriétaires

Exemple de travaux pratiques (à titre indicatif)

• Bruteforce PIN JTAG, extraction Firwmare

Après-midi

Analyse de code

• Présentation ASM pour ARM
• Rétro-conception avec Ghidra et SVDLoader

Exemple de travaux pratiques (à titre indicatif)

• Ecriture d'un script simple en ASM

Jour 3 - Analyse matérielle et applicative
Matin

Attaque micro-architecturale

• Analyse d'inférence de données, types d'attaques (analyse de consommation et d'émission électromagnétique)
• Vulnérabilités Spectre et Meltdown, introduction aux contre-mesures comme le partitionnement de cache

Exemple de travaux pratiques (à titre indicatif)

• Simulation d'une attaque Spectre

Après-midi

Attaques sur le code

• Analyse pratique de firmware
• Introduction au vulnérabilités applicative

Exemple de travaux pratiques (à titre indicatif)

• Exploitation d'un buffer overflow

Jour 4 - Attaques par injection de faute
Matin

Mécanismes d'injection de faute

• Présentation des techniques de voltage glitching et laser fault injection

Exemple de travaux pratiques (à titre indicatif)

• Simulation d'une injection de faute sur microcontrôleur

Après-midi

Démonstration d'attaque par injection de faute

• Conception d'outils pour injection de faute

Jour 5 – Rétro-conception de cible hardware
Matin

Attaques invasives et certification matérielle

• Techniques de décapsulations
• Rétro conception de standards cell

Exemple de travaux pratiques (à titre indicatif)

• Utilisation de libreCell et analyse de standard cell, comprendre un ordinateur 8 bit

Après-midi

CTF

• Mise en situation sur une cible IOT complète