Hardware property checker for run-time Hardware Trojan detection - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Hardware property checker for run-time Hardware Trojan detection

Jean-Luc Danger
Sylvain Guilley
Zakaria Najm
  • Fonction : Auteur
Olivier Emery
  • Fonction : Auteur

Résumé

Nowadays, Hardware Trojans (HTs) become a real threat because of IC design and fabrication outsourcing trend. In the state of the art, many efforts were devoted to counter this threat, especially at netlist level. However, some clever HTs are actually a combination between a hardware and a software vulnerability, which, together, allow an exploitation. In this paper, we intend to detect such advanced HT, by resorting to a run-time detection. This method consists in identifying some high-level and critical behavioral invariants, and by checking them during the circuit operation. The assertion and Property Specification Language (PSL) is used to describe the properties to be checked. Then, a Hardware Property Checker (HPC) is created and integrated in the IC in order to verify these properties in run-time. We discuss how to define the critical properties for HPC. We also explain how this method is complementary with others, especially how the Hardware Checker can itself be protected against a tampering attempt. A case of study on LEON processor was performed to demonstrate the feasibility of this detection technique.
Fichier principal
Vignette du fichier
15_ECCTD_PSL.pdf (152.77 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01240226 , version 1 (10-12-2015)

Identifiants

Citer

Xuan Thuy Ngo, Jean-Luc Danger, Sylvain Guilley, Zakaria Najm, Olivier Emery. Hardware property checker for run-time Hardware Trojan detection. Euromicro Conference on Digital System Design (DSD) 2015, Aug 2015, Trondheim, Norway. ⟨10.1109/ECCTD.2015.7300085⟩. ⟨hal-01240226⟩
98 Consultations
641 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More