Hardware Trojans from Invisible Inversions: On the Trojanizability of Standard Cell Libraries

1. Problématique : La Vulnérabilité des Bibliothèques de Cellules Standard

L'article aborde la menace croissante des Trojans matériels au niveau du silicium, qui peuvent altérer le comportement logique d'une puce intégrée (IC), dégrader sa fiabilité ou créer des canaux cachés pour l'exfiltration de données. Contrairement aux logiciels, ces modifications physiques ne peuvent être corrigées une fois la puce fabriquée.

Le problème central identifié par les auteurs est la difficulté de détecter ces Trojans lors des inspections physiques, en particulier via la microscopie électronique à balayage (MEB/SEM). Une étude précédente (Puschner et al., S&P 2023) avait montré que la performance de détection se dégradait avec la réduction des nœuds technologiques (de 90 nm à 28 nm), mais n'avait pas pu déterminer si cette baisse de performance était due à :

1. Une qualité d'image insuffisante aux petites échelles.
2. Une propriété intrinsèque des bibliothèques de cellules standard (Standard Cell Libraries) où des cellules fonctionnellement différentes sont visuellement indiscernables.

L'article vise à répondre à cette question en définissant et en mesurant la « Trojanizability » (la capacité d'une bibliothèque à être utilisée pour insérer des Trojans invisibles).

2. Méthodologie

Les auteurs ont développé une méthodologie systématique pour évaluer la « Trojanizability » indépendamment de la qualité de l'image, en se concentrant sur les paires de cellules fonctionnellement différentes mais visuellement similaires.

A. Modèle de Menace

• Adversaire : Un acteur capable de remplacer une cellule standard par une autre de la même bibliothèque (substitution de cellule) lors de la fabrication ou de la modification des fichiers de conception (GDS II).
• Contrainte : L'attaque doit être subtile, ne pas nécessiter de modification majeure du routage ou des masques, et rester indétectable par une inspection visuelle standard (MEB arrière).
• Cible : Les paires de cellules ayant des fonctions logiques différentes (ex: XOR vs XNOR) mais des motifs de vias (interconnexions) identiques ou très similaires.

B. Métrique de Similarité Robuste

Pour surmonter le bruit des images MEB, les auteurs proposent une approche basée sur les vias :

1. Extraction des Vias : Utilisation d'une analyse de persistance topologique (pour les nœuds 28 nm très bruyants) et de seuillage binaire (pour les nœuds plus grands) pour extraire les coordonnées des vias.
2. Construction de Représentants : Au lieu d'analyser une seule instance, ils génèrent un « représentant » robuste pour chaque type de cellule en moyennant 50 instances. Cela élimine le bruit d'image et les artefacts de fabrication.
3. Alignement et Comparaison : Les instances sont alignées dans une orientation canonique. La similarité est calculée via une distance de Jaccard adaptée aux ensembles de points (vias).
   • Score 0 : Identiques (indiscernables).
   • Score 1 : Complètement différents.
4. Évaluation : Comparaison de toutes les paires de cellules de même largeur mais de fonctions différentes à travers quatre nœuds technologiques (90 nm, 65 nm, 40 nm, 28 nm).

C. Validation de Détection

Les auteurs ont comparé leur nouvelle méthode (basée sur la position des vias) avec les méthodes de l'étude précédente (appariement de modèles et masques de vias) pour évaluer les taux de faux négatifs (probabilité qu'un Trojan passe inaperçu).

3. Résultats Clés

A. La « Trojanizability » est une Propriété Intrinsèque

L'analyse révèle que la difficulté de détection n'est pas uniquement due à la qualité de l'image, mais est une propriété inhérente aux bibliothèques de cellules, qui s'aggrave avec la miniaturisation :

• Nœud 28 nm : Présente la plus forte « Trojanizability ». Il contient cinq paires de cellules fonctionnellement distinctes mais visuellement indiscernables (score de similarité de 0).
• Nœuds 40 nm, 65 nm, 90 nm : Contiennent également des paires très similaires, bien que moins nombreuses ou avec des scores légèrement supérieurs à 0.
• Inversions Invisibles : La majorité des paires indiscernables sont des inversions logiques (ex: XOR vs XNOR, BUF vs INV, TIEH vs TIEL). Cela permet à un attaquant de changer la fonction logique d'une porte sans modifier sa géométrie physique.

B. Amélioration de la Détection

La nouvelle métrique basée sur la position des vias surpasse les méthodes précédentes :

• Elle atteint un taux de faux négatifs proche de zéro pour la plupart des nœuds technologiques.
• Elle réduit significativement les faux positifs par rapport aux méthodes de template matching, sauf dans le cas spécifique du nœud 65 nm où des artefacts lumineux sont parfois mal classés comme des vias.

C. Étude de Cas : Backdoor d'Élévation de Privilèges

Pour prouver l'impact réel, les auteurs ont implémenté un Trojan dans un cœur Ibex RISC-V (technologies 65 nm et 28 nm) :

• Mécanisme : Remplacement de quelques cellules (3 substitutions XNOR→XOR en 65 nm, 2 substitutions INV→BUF en 28 nm) dans la logique de contrôle des privilèges.
• Effet : Le Trojan force le processeur à traiter tout le code comme s'il s'exécutait au niveau de privilège le plus élevé, contournant ainsi les protections de mémoire et de sécurité.
• Furtivité : Ce Trojan est visuellement indétectable par les images MEB fournies dans le dataset, car les cellules remplacées sont structurellement identiques.

4. Contributions Principales

1. Définition et Mesure de la « Trojanizability » : Introduction d'un concept quantifiable pour évaluer la vulnérabilité d'une bibliothèque de cellules standard aux substitutions furtives.
2. Métrique de Similarité Robuste : Développement d'un algorithme déterministe basé sur l'agrégation d'instances et l'analyse des vias, capable de filtrer le bruit d'imagerie.
3. Preuve de Concept : Démonstration qu'il est possible de créer des Trojans matériels furtifs (inversions invisibles) qui contournent les inspections MEB standards, illustré par une backdoor d'élévation de privilèges sur RISC-V.
4. Recommandations Pratiques : Proposition de solutions de mitigation réalisables avec un coût négligeable.

5. Signification et Recommandations

Les résultats de l'article sont alarmants pour la sécurité des chaînes d'approvisionnement semi-conductrices :

• Risque Inhérent : La tendance à la miniaturisation (loi de Moore) augmente la probabilité que des cellules fonctionnellement différentes soient visuellement identiques, rendant les inspections optiques seules insuffisantes.
• Mitigation Possible : Les auteurs montrent que la défense est simple et peu coûteuse. En excluant les paires de cellules problématiques (indiscernables) lors de la synthèse et du placement-routage, on peut éliminer le risque de Trojans invisibles.
  • Dans le cas du nœud 28 nm, l'exclusion des 5 paires critiques n'entraîne qu'une surcharge de 0,013 % en surface, 0,047 % en timing et 0,022 % en puissance.
• Recommandations :
  • Pour les concepteurs (IC Designers) : Évaluer la « Trojanizability » des bibliothèques de cellules (PDK) avant la conception de systèmes critiques et exclure les paires à risque.
  • Pour les fabricants (Foundries) : Concevoir de futures bibliothèques de cellules avec des règles de conception garantissant une différence visuelle minimale (par exemple, des motifs de vias uniques pour chaque fonction logique), agissant comme un « filigrane » intrinsèque.

En conclusion, l'article démontre que la sécurité des puces ne peut plus reposer uniquement sur l'imagerie haute résolution, mais doit intégrer une vérification de la conception des bibliothèques de cellules elles-mêmes pour éliminer les « inversions invisibles ».