Formation Sécurité des systèmes embarqués : Hacking et Pentest approfondi

Programme de la formation
Sécurité des systèmes embarqués : Hacking et Pentest approfondi

• Fondamentaux des Systèmes Embarqués et Cybersécurité

  - Introduction aux architectures embarquées (hardware, software, firmware)
  - Spécificités et enjeux de sécurité des systèmes embarqués
  - Cadre légal et réglementaire (IoT Act, NIS2, etc.)

• Analyse d'Architecture et Modélisation des Menaces I

  - Cartographie des composants embarqués (microcontrôleurs, capteurs, actionneurs)
  - Identification des interfaces de communication (UART, SPI, I2C, JTAG, SWD)
  - Introduction à la modélisation des menaces (STRIDE appliqué à l'embarqué)

• Analyse d'Architecture et Modélisation des Menaces II

  - Méthodologies d'évaluation des menaces spécifiques (e.g., DREAD, CVSS)
  - Définition des surfaces d'attaque et des vecteurs potentiels
  - Cas pratiques d'analyse d'architectures embarquées existantes

• Techniques d'Extraction de Firmware et Ingénierie Inverse I

  - Méthodes d'extraction de firmware (dump via JTAG/SWD, lecture SPI/I2C)
  - Outils d'analyse statique de firmware (binwalk, IDA Pro, Ghidra)
  - Reconnaissance des systèmes de fichiers embarqués

• Techniques d'Extraction de Firmware et Ingénierie Inverse II
• Vulnérabilités Matérielles (Hardware Hacking) I

  - Attaques par injection de fautes (glitching, voltage/clock glitches)
  - Introduction aux side-channel attacks (SPA, DPA)
  - Utilisation de l'oscillation pour l'analyse de signaux

• Vulnérabilités Matérielles (Hardware Hacking) II

  - Exploitation des interfaces de débogage (JTAG, SWD)
  - Contournement des protections hardware (fuse bits, anti-tampering)
  - Utilisation d'outils spécifiques (Bus Pirate, Exploit Hardware Kits)

• Exploitation Logicielle sur Systèmes Embarqués I

  - Introduction aux vulnérabilités classiques (buffer overflows, format strings)
  - Spécificités de l'exploitation sur architectures RISC (ARM, MIPS)
  - Techniques d'écriture de shellcode pour systèmes embarqués

• Exploitation Logicielle sur Systèmes Embarqués II

  - Reconnaissance et exploitation de services réseau embarqués (HTTP, MQTT)
  - Attaques sur les mises à jour OTA (Over-The-Air)
  - Contournement des mécanismes de sécurité logiciels (TrustZone, ARMv8)

• Pentesting des Protocoles de Communication Embarqués

  - Audit des communications sans fil (Bluetooth Low Energy, Zigbee, LoRa)
  - Hacking des réseaux véhicules (CAN bus) et industriels (Modbus, Profinet)
  - Outils et techniques de fuzzing de protocoles embarqués

• Méthodologie Pentest et Reporting Spécifique Embarqué

  - Déroulement d'un pentest complet d'un système embarqué
  - Rédaction de rapports de vulnérabilité techniques et managériaux
  - Recommandations de sécurité et mitigation des risques

• Sécurisation des Architectures Embarquées et Bonnes Pratiques

  - Conception sécurisée (Security by Design) pour l'embarqué
  - Mise en œuvre de contre-mesures hardware et software
  - Tendances futures et challenges en sécurité des systèmes embarqués