Using Outliers to Detect Stealthy Hardware Trojan Triggering?

Papa-Sidy Ba; Sophie Dupuis; Marie-Lise Flottes; Giorgio Di Natale; Bruno Rouzeyre

Using Outliers to Detect Stealthy Hardware Trojan Triggering?

Papa-Sidy Ba ¹ Sophie Dupuis ¹ Marie-Lise Flottes ¹ Giorgio Di Natale ¹ Bruno Rouzeyre ¹

1 SysMIC - Conception et Test de Systèmes MICroélectroniques

LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier

Abstract : Hardware Trojans (HTs) are malicious alterations to a circuit introduced at design or manufacturing phases by an adversary. Due to their diversity, detecting and/or locating them are challenging tasks. Among the different kinds of detection methods, methods based on logic testing aim to reveal the presence of HTs thanks to their logical activation and observation through primary outputs. However, HTs are stealthy in nature, i.e. mostly inactive unless triggered by a very rare condition. Furthermore, test patterns must be developed without any knowledge on the location and function implemented by the HT. A procedure has recently been proposed to identify in a netlist suspicious signals that may be part of a HT introduced at design stage: these so-called " outliers " present an activity poorly correlated with other signals. In this paper, we undertake to use outliers in order to detect a HT introduced at manufacturing stage. We propose a test pattern generation technique based on the exploration of outliers. Our assumption is that such signals may be selected by an attacker in order to trigger his/her HT.

Keywords : Outliers Hardware Trojan Detection Logic testing Cross correlation Clustering

Type de document :

Communication dans un congrès

IVSW: International Verification and Security Workshop, Jul 2016, Sant Feliu de Guixols, France. IEEE International Verification and Security Workshop, 2016

Domaine :

Sciences de l'ingénieur [physics] / Micro et nanotechnologies/Microélectronique

Liste complète des métadonnées

Littérature citée [23 références] Voir Masquer Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01347119
Contributeur : Sophie Dupuis <>
Soumis le : mercredi 20 juillet 2016 - 13:38:34
Dernière modification le : jeudi 24 mai 2018 - 15:59:25

10-2.pdf

Fichiers produits par l'(les) auteur(s)

Using Outliers to Detect Stealthy Hardware Trojan Triggering?

Fichier

Identifiants

Collections

Citation

Exporter

Métriques

91

203

Contact

Using Outliers to Detect Stealthy Hardware Trojan Triggering?

Fichier

Identifiants

Collections

Citation

Exporter

Partager

Métriques

91

203

Contact