ANTMAN: An Efficient and Interpretable RTL-Level Run-Time Detection Framework for Stealthy Branch Predictor Attacks on BOOM

Imaginez le processeur de votre ordinateur comme un chef cuisinier hyper rapide et hyper organisé dans une cuisine très animée. Pour gagner du temps, ce chef n'attend pas que chaque commande soit pleinement confirmée avant de commencer à cuisiner ; au lieu de cela, il devine ce que le client pourrait vouloir ensuite et commence à couper les légumes ou à chauffer les poêles en se basant sur cette supposition. C'est ce qu'on appelle l'« exécution spéculative », et cela rend les ordinateurs incroyablement rapides. Cependant, tout comme un chef qui laisserait accidentellement une trace d'oignons hachés sur le comptoir, ces suppositions laissent des empreintes minuscules et invisibles dans la mémoire de la machine.

Les pirates ont appris à lire ces empreintes. En observant le temps qu'il faut au chef pour réaliser qu'une supposition était erronée et pour recommencer, ils peuvent découvrir des recettes secrètes (comme des mots de passe ou des clés de chiffrement) sans même voir les ingrédients. C'est ce qu'on appelle une « attaque par canal auxiliaire ». Pendant longtemps, les experts en sécurité ont tenté de débusquer ces pirates en comptant le nombre de fois où le chef prenait un couteau ou ouvrait un tiroir (en utilisant des compteurs matériels) ; mais les pirates sont devenus trop habiles, apprenant à cacher leurs empreintes si bien que les compteurs ne pouvaient plus les voir, particulièrement dans les nouveaux processeurs RISC-V open-source qui deviennent populaires dans tout, des téléphones aux satellites.

Entrez en scène ANTMAN, un nouveau cadre de sécurité conçu par des chercheurs pour attraper ces intrus invisibles. Imaginez qu'ANTMAN n'est pas un simple compteur, mais plutôt un inspecteur de cuisine extrêmement observateur qui ne se contente pas de compter les actions, mais qui comprend l'histoire de ce qui se passe. Au lieu de regarder des événements isolés, ANTMAN observe toute la cuisine à la recherche d'une danse chaotique spécifique qui ne se produit que lorsqu'un pirate tente de voler des secrets.

Les chercheurs ont construit ce système sur le processeur BOOM, une célèbre conception open-source qui sert de cuisine de test pour les puces RISC-V. Ils ont d'abord laissé l'ordinateur exécuter des milliers de tâches culinaires normales (charges de travail bénignes), puis ont laissé un pirate tenter de voler des secrets en utilisant deux techniques différentes : une simple et une complexe. En enregistrant chaque signal à l'intérieur du cerveau du processeur, ils ont utilisé une technique d'extraction de données appelée « recherche de règles d'association ». Imaginez cela comme l'apprentissage d'un ordinateur pour reconnaître que, dès que le chef fait tomber une cuillère, le four bipe et les lumières vacillent tous en même cas, ce n'est pas un accident — c'est le signal qu'un voleur est dans la cuisine.

L'étude montre que ces « danses secrètes » sont incroyablement cohérentes. Lorsqu'un pirate tente d'exploiter le mécanisme de supposition du processeur, cela déclenche une réaction en chaîne spécifique : le processeur réalise qu'il a mal deviné, tente de corriger sa trajectoire, puis doit effacer toute sa table rase mentale pour recommencer. Cela se produit simultanément dans de nombreuses parties différentes du processeur. Les chercheurs ont découvert 16 règles spécifiques décrivant ce schéma chaotique. Par exemple, si le signal de « mauvaise prédiction de branchement » (branch misprediction) dans l'unité principale correspond au signal de « vidage » (flush) dans l'unité de mémoire et au signal de « redirection » (redirect) dans l'unité de recherche (fetch) en même temps, il s'agit presque certainement d'une attaque.

Lorsqu'ils ont intégré un minuscule moniteur non intrusif dans la conception du processeur pour surveiller ces 16 règles, les résultats ont été frappants. Dans leurs simulations, ANTMAN a surpris les pirates 100 % du temps. Peu importait que le pirate utilise une astuce simple ou une plus complexe ; le système a détecté l'attaque après seulement 25 % de l'attaque pour la version simple, et a même capturé les variations complexes et invisibles avant que le secret ne soit totalement volé. Crucialement, il n'a jamais crié au loup lors des tâches de cuisine normales, affichant zéro fausse alerte.

Les chercheurs précisent avec prudence que cela a été testé dans un environnement simulé (un modèle numérique parfait du processeur), et non sur une puce physique dans un appareil réel pour le moment. Cependant, la simulation montre qu'en concevant la sécurité directement dans le plan de base du processeur (au niveau RTL) plutôt qu'en essayant de la patcher plus tard, on peut arrêter ces attaques furtives beaucoup plus rapidement que les méthodes précédentes. Ils soutiennent que, tandis que les anciennes méthodes reposant sur les compteurs matériels reviennent à essayer d'attraper un fantôme en comptant le nombre de fois où une porte grince, ANTMAN revient à reconnaître l'ombre spécifique de ce fantôme. Cette approche offre une voie prometteuse vers une sécurité « conçue dès la conception » (secure-by-design) pour protéger la prochaine génération d'ordinateurs open-source contre les menaces invisibles.