Analyse de la sécurité logicielle et matérielle des systèmes d'exploitation - 4AMOS430

Objectif(s)

Ce cours se focalise sur les sécurisations matérielles et logicielles possibles pour les systèmes, et l'étude de vulnérabilités matérielles et logicielles.

Contenu(s)

cours

• rappels et compléments matériels et logiciels
  • Niveaux de protection
  • MPU,MMU
  • Architecture SMP, NUMA
  • DMA
  • mécanismes d’isolation d’environnement d’exécution
  • espace d'adressage des processsus (librairie partagée, etc.))
  • appels systèmes
  • format d'executable les plus usuels (ELF, PE/COFF, etc..)
• techniques d'attaques matérielles (DMA attack, USB HID spoofers);
• techniques d'attaques logicielles (Buffer overflow (heap/stack), return oriented programming, retintolibc, etc..);
• protection matérielle (trustzone, MPU,CFI,IO-MMU, shadow stack)
• protection logicielle (W^X, canary, ASLR, seccomp, Selinux, apparmor, ..)
• Outils de reverse engineering et de forensic (statique/dynamique)

Travaux pratiques

• Mise en œuvre d'attaques logicielles (buffer overflow) et configuration des protections logicielles
• Matériel : utilisation des mécansimes de protections matérielles (MPU, Trustzone…)

Mots-clés:
Analyse de malware
Reverse engineering
Buffer overflow
ASLR
Format de binaires (ELF)
ROP
DMA

Bonnes connaissances système et administration système
Connaissances de langage de programmation
Connaissances en architecture des ordinateurs