Hardware property checker for run-time Hardware Trojan detectionReport as inadecuate




Hardware property checker for run-time Hardware Trojan detection - Download this document for free, or read online. Document in PDF available to download.

1 Télécom ParisTech 2 Secure-IC S.A.S

Abstract : 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.

Keywords : Hardware Trojans HT Run-time detection Hardware Property Checker HPC Assertions Property Spec-ification Language PSL





Author: Xuan Thuy Ngo - Jean-Luc Danger - Sylvain Guilley - Zakaria Najm - Olivier Emery -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents