Trojan Detection in Embedded Systems With FinFET Technology

Virinchi Roy Surabhi, Prashanth Krishnamurthy, Hussam Amrouch, Jorg Henkel, Ramesh Karri, Farshad Khorrami

Research output: Contribution to journalArticlepeer-review

Abstract

This study considers detecting Trojans in circuits using FinFET technology non-destructively, when a golden Integrated Circuit (IC) is unavailable. The method employs short-term aging effects in FinFET transistors and circuit overclocking to induce bit errors at the circuit outputs in conjunction with Machine Learning (ML) tools learning Trojan-free behavior. Short-term aging causes delays along multiple paths in the IC to vary dynamically, causing bit errors at circuit outputs. Overclocking enhances this in FinFET but is not necessary for bulk CMOS technology. We use bit error patterns at the output of the circuit to detect Trojans using an ML classifier trained on simulations of the Trojan-free circuit. The study shows efficacy of the method by using dynamic short-term aging-aware standard cell libraries with FinFET technology that are modeled by considering the dynamic short-term aging of each cell. Trojan detection is robust to chip-to-chip variations. We apply the technique on fourteen Trust-Hub Trojans. Our method detects Trojans with > 95% accuracy. Trojan detection in FinFET technology is more challenging than in bulk CMOS because the voltage range for switching from a high to low value is smaller. Therefore we use overclocking.

Original languageEnglish (US)
JournalIEEE Transactions on Computers
DOIs
StateAccepted/In press - 2022

Keywords

  • Aging
  • autoencoder
  • FinFET technology
  • FinFETs
  • hardware trojan detection
  • Integrated circuit modeling
  • Libraries
  • one-class svm
  • Standards
  • transistor aging
  • Transistors
  • Trojan horses

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computational Theory and Mathematics

Fingerprint

Dive into the research topics of 'Trojan Detection in Embedded Systems With FinFET Technology'. Together they form a unique fingerprint.

Cite this