Le « Prix du meilleur article » est décerné à… Ihab Alshaer

L'article présenté s'intitulait : « Aperçus microarchitecturaux sur les comportements inexpliqués lors de l'injection de défauts de glitch d'horloge »

Résumé — Avec la généralisation des systèmes embarqués, les concepteurs de matériel et les développeurs de logiciels se sont mis à accorder davantage d’attention aux questions de sécurité de l’
, afin de protéger ces dispositifs contre les menaces potentielles. Les attaques physiques constituent une menace importante pour ces dispositifs, et l’injection de défauts est l’une des principales attaques physiques. Cependant, une mauvaise compréhension des effets de l’injection de défauts conduirait à proposer soit des mesures de protection excessives, soit insuffisantes pour ces dispositifs, ce qui affecterait le rapport performances/coût et/ou la sécurité du dispositif. Dans cet article, nous proposons une meilleure représentation des défauts survenant à la suite d’une perturbation d’horloge, grâce à des modèles novateurs, afin de mieux comprendre les effets de l’injection de défauts. Nous examinons également leurs dépendances par rapport au dispositif cible et au programme cible. Enfin, nous utilisons les modèles de défauts présentés pour compromettre l’intégrité du flux de contrôle d’un programme en modifiant la valeur du compteur de programme, afin de fournir un exemple d’application concret.

Cette publication et la thèse d'Ihab (soutenue le 16 octobre 2023) s'inscrivent dans le cadre du projet CLAM (Cross-Layer Fault Analysis for Microprocessor Architectures). L'objectif de ce projet est de proposer des solutions permettant d'évaluer les vulnérabilités à un stade précoce du processus de conception, afin d'offrir des contre-mesures optimisées, à la fois efficaces et rentables.

Ce projet est financé par le Labex Persyval-Lab dans le cadre de l'appel à projets « Team Action ». Il rassemble trois laboratoires de l'UGA : Verimag, Tima et LCIS. Le projet est également mené en collaboration avec l'ARM. Vincent Beroulle, professeur à Grenoble INP – UGA au sein du LCIS, est le responsable de ce projet.