Fiche de CHAMELOT Thomas

Titre : Sécurisation de l’exécution des application contre les attaques par injection de fautes par une contre-mesure intégrée au processeur
Date : 28 novembre 2022
Heure: 14:00
Résumé : Dans ce manuscrit, nous introduisons une nouvelle propriété de sécurité pour protéger l’exécution des instructions dans la microarchitecture : l’intégrité d’exécution. À partir de cette propriété, nous décrivons une contre-mesure qui assure la protection de l’intégralité du chemin d’instructions. Pour cela, nous construisons un vecteur de bits que nous appelons pipeline state à partir de signaux de contrôle dans la microarchitecture. À partir du pipeline state, deux modules s’articulent pour assurer les propriétés de sécurité. Le premier module calcule une signature à partir du pipeline state une partie de l’intégrité d’exécution. Le second module complète l’intégrité d’exécution dans la microarchitecture en utilisant un mécanisme de redondance. Nous proposons également le support et la sécurisation des branchements indirects et des interruptions, nécessaires pour la conception de systèmes embarqués.
Lieu : CEA Grenoble