Room 206 (2nd floor, badged access)
28 avril 2023 - 14h00
Outils pour l’analyse de code et de contre-mesures pour l'injection de fautes multiples (Phd Defense)
par Etienne Boespflug de Vérimag
Résumé : Les attaquants actifs sont capables d'intervenir sur le comportement du programme pendant son exécution. En particulier, les attaques par injection de fautes, qui ont émergé à l'origine en tant que méthode de test contre les fautes matérielles accidentelles, sont un vecteur d'attaque puissant dans lequel l'attaquant peut injecter des fautes pendant l'exécution à l'aide de techniques physiques telles que les faisceaux lasers ou des glitches de tension ou de fréquence. Plus récemment, des méthodes d'injection de fautes logicielles sont apparues.
Cette thèse propose des méthodes et outils pour l'analyse de programmes et de leurs contre-mesures dans le contexte des attaques en fautes, et plus particulièrement en fautes multiples, qui implique que l'attaquant est capable d'effectuer des attaques combinant plusieurs fautes.
Ces attaques combinées complexifient la tâche des outils d'évaluation automatique de robustesse en raison de l'explosion combinatoire des chemins d'exécution due aux fautes.
Jury :
Vincent Beroulle, Professeur des universités (Université de Grenoble Alpes)
Karine Heydemann, Maître de conférence (Sorbonne Université)
Thomas Jensen, Directeur de recherche (INRIA Rennes)
Marie-Laure Potet, Professeur des universités (Grenoble INP)
Julien Signoles , Ingénieur de recherche (CEA Saclay)
David Feliot, Ingénieur (CEA Leti) (Invité)
Laurent Mounier, Maître de conférence (Université de Grenoble Alpes) (Invité)
