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

Résumé — Face à la complexité croissante des applications numériques, le recours à des jeux d’instructions à longueur variable est devenu indispensable afin d’atteindre une densité de code plus élevée et, par conséquent, de meilleures performances. Cependant, les aspects liés à la sécurité doivent toujours être pris en compte, en particulier compte tenu de l’amélioration significative des techniques et des équipements d’attaque. L’injection de défauts, notamment, figure parmi les techniques d’attaque les plus intéressantes et les plus prometteuses grâce aux avancées récentes. Dans cet article, nous proposons une caractérisation précise, au niveau de l’architecture du jeu d’instructions (ISA), de plusieurs comportements défectueux pouvant être obtenus lorsqu’on cible un jeu d’instructions à longueur variable. Nous prenons en compte le codage binaire des instructions et montrons comment les comportements obtenus dépendent de l’alignement des instructions en mémoire. De plus, nous sommes également en mesure d’apporter un éclairage plus précis sur des résultats antérieurs issus de la littérature, qui restaient encore partiellement inexpliqués. Nous montrons également comment les comportements observés peuvent être exploités dans divers contextes de sécurité. »

Cette publication et la thèse d'Ihab 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 au niveau matériel dès les premières étapes du processus de conception, afin de proposer des contre-mesures optimisées, à la fois efficaces et rentables.

Ce projet, qui entame sa troisième et dernière année, est financé par le Labex Persyval-Lab dans le cadre de l'appel à projets « Équipe 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 responsable de ce projet.