LIB-TRAP: Standard Cell Library Hardware Trojan Risk Assessment and Prevention

Résumé Technique : LIB-TRAP : Évaluation du risque de Trojan matériel dans les bibliothèques de cellules standards et prévention

Énoncé du problème
Le modèle de fabrication de semi-conducteurs « fabless », qui sépare la conception des circuits intégrés (IC) de leur fabrication, introduit des risques de sécurité importants en externalisant la production à des fonderies externes. Bien que les recherches existantes aient largement exploré la détection et l'atténuation des Trojans matériels (HT) — se concentrant souvent sur les HT insérés entre les cellules standards ou utilisant l'analyse par canaux auxiliaires — il existe une lacune critique dans l'évaluation des vulnérabilités inhérentes aux propres bibliothèques de cellules standards. Les méthodologies de détection actuelles opèrent largement sous l'hypothèse que les bibliothèques de cellules standards fournies par les fonderies sont dignes de confiance et que les modèles de timing et de puissance sont précis. Cet article postule que si une fonderie malveillante contrôle la bibliothèque de cellules standards, elle peut intégrer des HT furtifs directement dans les blocs de construction fondamentaux des conceptions numériques, rendant les méthodes de détection traditionnelles inefficaces.

Méthodologie
Les auteurs proposent un nouveau modèle de menace, LIB-TRAP, où l'adversaire est une fonderie malveillante qui manipule la bibliothèque de cellules standards avant qu'elle n'atteigne le bureau d'études. La méthodologie comprend trois étapes principales :

1. Construction du modèle de menace : La fonderie conçoit une charge utile de HT (spécifiquement une cellule tampon modifiée pour fonctionner comme une porte OU) qui respecte les contraintes géométriques et électriques d'une cellule standard.
2. Altération et caractérisation de la bibliothèque :
   • La fonderie crée une version « désactivée » de la cellule infectée par le HT en câblant l'entrée de déclenchement (trigger) à une valeur constante bénigne (par exemple, la masse). Cela garantit que la cellule conserve sa fonctionnalité et ses caractéristiques d'E/S originales lors de la phase de synthèse de la conception.
   • La fonderie re-caractérise cette cellule désactivée en utilisant des outils d'automatisation de la conception électronique (EDA) standards (Synopsys SiliconSmart pour 32 nm et OpenRoad/ngspice pour Sky130nm) afin de générer des fichiers Liberty (.lib), LEF et GDSII précis.
   • La bibliothèque altérée est fournie au client. Le bureau d'études synthétise son réseau (netlist) en utilisant ces cellules, ignorant que la bibliothèque contient des HT dormants.
3. Activation : Lors de la fabrication, la fonderie remplace les instances des cellules désactivées par des homologues « activés » en connectant les entrées de déclenchement à des réseaux (nets) voisins. Cela active la charge utile (par exemple, forcer la sortie à l'état haut) sans modifier l'empreinte physique de la cellule ni nécessiter de broches externes.

Pour évaluer la furtivité de cette attaque, les auteurs ont synthétisé trois circuits de référence (AES-128, contrôleur Ethernet et WISHBONE DMA) en utilisant à la fois des bibliothèques propres et infectées par des Trojans sur les technologies Synopsys 32nm et SkyWater 130nm. Ils ont extrait des caractéristiques de conception (nombre de cellules, surface, puissance dynamique/statique et marge de temps/slack) pour entraîner des classifieurs d'apprentissage automatique (ML) (Régression Logistique, SVM, Forêt Aléatoire et DNN) afin de distinguer les conceptions infectées par des Trojans des conceptions sans Trojans.

Principales contributions

• Nouveau modèle de menace : Introduction d'un vecteur d'attaque de HT basé sur les cellules standards où la bibliothèque elle-même est le vecteur de compromission, remettant en question l'hypothèse de confiance dans les bibliothèques fournies par la fonderie.
• Implémentation de la furtivité : Démonstration de la manière dont les HT peuvent être intégrés dans des cellules tampons de sorte que les variantes désactivées soient fonctionnellement et paramétriquement indiscernables des cellules bénignes, même sous l'analyse de la variation de processus (PV).
• Évaluation empirique : Caractérisation complète de l'attaque sur deux nœuds technologiques (32 nm et 130 nm) et plusieurs circuits de référence, quantifiant les surcoûts de conception physique.
• Analyse de la limitation de la détection : Test systématique des méthodes de détection conventionnelles et basées sur le ML, révélant leur incapacité à identifier cette classe spécifique d'attaques.

Résultats

• Surcoût de conception physique : Les cellules infectées par le HT ont été dimensionnées pour correspondre à la force de commande et à la surface d'origine. Les résultats expérimentaux ont montré un surcoût minimal : les augmentations de surface variaient de +1,6 % à +6,7 %, les augmentations de puissance dynamique de +2,7 % à +4,6 %, et les changements de puissance statique étaient inférieurs à 1 %. Ces variances se situaient dans les limites de variation de processus 3σ, ce qui les rend statistiquement indiscernables du bruit de fabrication normal.
• Évasion par canaux auxiliaires : Les cellules désactivées présentaient des caractéristiques de fuite et de délai presque identiques aux cellules originales. Le mécanisme de déclenchement a été conçu pour rester dormant, garantissant que les traces de puissance, les modèles de commutation et les profils thermiques sous les vecteurs de test standards soient identiques aux conceptions sans Trojan.
• Échec de la détection par ML : Les classifieurs ML entraînés sur des caractéristiques de conception ont mal performé, avec des précisions de détection comprises entre 24 % et 40 % et des scores F1 systématiquement inférieurs à 0,40. Cela indique que le vecteur d'attaque proposé est effectivement invisible pour les méthodes de détection reposant sur les données traditionnelles du flux de conception IC et l'extraction de caractéristiques standard.

Signification et affirmations
L'article affirme que le modèle LIB-TRAP expose un angle mort critique dans les pratiques actuelles de sécurité matérielle. En exploitant la position privilégiée de la fonderie dans le contrôle du développement de la bibliothèque de cellules, les attaquants peuvent intégrer des HT dans les blocs de construction fondamentaux sans introduire de variations détectables en termes de puissance, de surface ou de temps. Les auteurs affirment que les détections traditionnelles et basées sur le ML, qui reposent sur l'hypothèse de bibliothèques de confiance et de modèles de référence précis, sont insuffisantes face à cette menace.

La portée de ce travail réside dans sa démonstration que même les algorithmes de détection sophistiqués échouent lorsque la racine de la conception (la bibliothèque de cellules standards) est compromise. Par conséquent, les auteurs soutiennent qu'une conception d'IC sécurisée ne peut être garantie sans stratégies de validation en amont, telles que :

1. L'utilisation de l'analyse par canaux auxiliaires (SCA) via le traçage de puissance pour capturer les HT.
2. L'exécution de la vérification d'équivalence entre les schémas de cellules et les mises en page GDSII pour révéler les incohérences structurelles.
3. La re-caractérisation indépendante des bibliothèques de cellules en utilisant des outils de confiance ou des modèles SPICE de référence pour exposer les anomalies comportementales.

L'article conclut que sans ces protocoles de vérification rigoureux englobant à la fois l'analyse de conception et la validation physique par canaux auxiliaires, l'intégrité des conceptions d'IC reste vulnérable aux Trojans matériels furtifs basés sur les bibliothèques.