Targeted modification of hardware trojans

Hamlet, Jason R.; Mayo, Jackson R.; Kammler, Vivian G.

doi:10.1007/s41635-018-0058-x

Title: Targeted modification of hardware trojans

Journal Article · Mon Mar 18 00:00:00 EDT 2019 · Journal of Hardware and Systems Security (Online)

DOI:https://doi.org/10.1007/s41635-018-0058-x· OSTI ID:1502452

Hamlet, Jason R. ^[1]; Mayo, Jackson R. ^[2]; Kammler, Vivian G. ^[1]

Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
Sandia National Lab. (SNL-CA), Livermore, CA (United States)

The use of untrusted design tools, components, and designers, coupled with untrusted device fabrication, introduces the possibility of malicious modifications being made to integrated circuits (ICs) during their design and fabrication. These modifications are known as hardware trojans. The widespread use of commercially purchased 3rd party intellectual property (3PIP) and commercial design tools extends even into trusted design flows. Unfortunately, due to the theoretical result that there is no program that can decide whether any other program will eventually halt, we know that the properties of a program, or circuit, cannot be known in advance of running it. While we can design a circuit to meet some functional specification and generate a simulation or test suite to obtain at least probabilistic confidence that the circuit implements the intended functionality, we cannot test a circuit for unintended functionality due to the combinatorially large state space. To address these concerns, we have developed a design-time method for automatically and systematically modifying portions of a design that exhibit characteristics of hardware trojans. After each modification, the functionality of the design is verified against a comprehensive simulation suite to ensure that the intended circuit functionality has not been changed. Finally, this approach can be applied to any digital circuit and does not rely on secret keys or obfuscation.

View Accepted Manuscript (DOE)

Cite

Export

Save

Research Organization:: Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Sandia National Lab. (SNL-CA), Livermore, CA (United States)

Sponsoring Organization:: USDOE National Nuclear Security Administration (NNSA)

Grant/Contract Number:: AC04-94AL85000

OSTI ID:: 1502452

Alternate ID(s):: OSTI ID: 1502454

Report Number(s):: SAND-2018-12772J; SAND-2018-9731J; 669721

Journal Information:: Journal of Hardware and Systems Security (Online), Vol. 3, Issue 2; ISSN 2509-3436

Publisher:: Springer NatureCopyright Statement

Country of Publication:: United States

Language:: English

References (20)

Hardware Trojan: Threats and emerging solutions Chakraborty, Rajat Subhra; Narasimhan, Seetharam; Bhunia, Swarup 2009 IEEE International High Level Design Validation and Test Workshop (HLDVT) https://doi.org/10.1109/HLDVT.2009.5340158	conference	November 2009
Stimulus generation for constrained random simulation Kitchen, Nathan; Kuehlmann, Andreas 2007 IEEE/ACM International Conference on Computer-Aided Design https://doi.org/10.1109/ICCAD.2007.4397275	conference	November 2007
The impact of diversity upon common mode failures Littlewood, Bev Reliability Engineering & System Safety, Vol. 51, Issue 1 https://doi.org/10.1016/0951-8320(95)00120-4	journal	January 1996
Using computational game theory to guide verification and security in hardware designs Smith, Andrew M.; Mayo, Jackson R.; Kammler, Vivian 2017 IEEE International Symposium on Hardware Oriented Security and Trust (HOST) https://doi.org/10.1109/HST.2017.7951808	conference	May 2017
Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically Hicks, Matthew; Finnicum, Murph; King, Samuel T. 2010 IEEE Symposium on Security and Privacy https://doi.org/10.1109/SP.2010.18	conference	May 2010
Scalable Test Generation for Trojan Detection Using Side Channel Analysis Huang, Yuanwen; Bhunia, Swarup; Mishra, Prabhat IEEE Transactions on Information Forensics and Security, Vol. 13, Issue 11 https://doi.org/10.1109/TIFS.2018.2833059	journal	November 2018
Guided test generation for isolation and detection of embedded trojans in ics Banga, Mainak; Chandrasekar, Maheshwar; Fang, Lei Proceedings of the 18th ACM Great Lakes symposium on VLSI - GLSVLSI '08 https://doi.org/10.1145/1366110.1366196	conference	January 2008
Common-mode failures in redundant VLSI systems: a survey Mitra, S.; Saxena, N. R.; McCluskey, E. J. IEEE Transactions on Reliability, Vol. 49, Issue 3 https://doi.org/10.1109/24.914545	journal	January 2000
Functional polymorphism for intellectual property protection McDonald, Jeffrey T.; Kim, Yong C.; Andel, Todd R. 2016 IEEE International Symposium on Hardware Oriented Security and Trust (HOST) https://doi.org/10.1109/HST.2016.7495557	conference	May 2016
FANCI: identification of stealthy malicious logic using boolean functional analysis Waksman, Adam; Suozzo, Matthew; Sethumadhavan, Simha Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 https://doi.org/10.1145/2508859.2516654	conference	January 2013
A Sensitivity Analysis of Power Signal Methods for Detecting Hardware Trojans Under Real Process and Environmental Conditions Rad, Reza; Plusquellic, Jim; Tehranipoor, Mohammad IEEE Transactions on Very Large Scale Integration (VLSI) Systems, Vol. 18, Issue 12 https://doi.org/10.1109/TVLSI.2009.2029117	journal	January 2010
Silencing Hardware Backdoors Waksman, Adam; Sethumadhavan, Simha 2011 IEEE Symposium on Security and Privacy (SP) https://doi.org/10.1109/SP.2011.27	conference	May 2011
Dynamic Polymorphic Reconfiguration for anti-tamper circuits Porter, Roy; Stone, Samuel J.; Kim, Yong C. 2009 International Conference on Field Programmable Logic and Applications (FPL) https://doi.org/10.1109/FPL.2009.5272469	conference	August 2009
Golden-Free Hardware Trojan Detection with High Sensitivity Under Process Noise Hoque, Tamzidul; Narasimhan, Seetharam; Wang, Xinmu Journal of Electronic Testing, Vol. 33, Issue 1 https://doi.org/10.1007/s10836-016-5632-y	journal	December 2016
On design vulnerability analysis and trust benchmarks development Salmani, Hassan; Tehranipoor, Mohammad; Karri, Ramesh 2013 IEEE 31st International Conference on Computer Design (ICCD) https://doi.org/10.1109/ICCD.2013.6657085	conference	October 2013
Dependable computing: From concepts to design diversity Avizienis, A.; Laprie, J. -C. Proceedings of the IEEE, Vol. 74, Issue 5 https://doi.org/10.1109/PROC.1986.13527	journal	January 1986
A Survey of Hardware Trojan Taxonomy and Detection Tehranipoor, Mohammad; Koushanfar, Farinaz IEEE Design & Test of Computers, Vol. 27, Issue 1 https://doi.org/10.1109/MDT.2010.7	journal	January 2010
MOLES: malicious off-chip leakage enabled by side-channels Lin, Lang; Burleson, Wayne; Paar, Christof Proceedings of the 2009 International Conference on Computer-Aided Design - ICCAD '09 https://doi.org/10.1145/1687399.1687425	conference	January 2009
Towards trojan-free trusted ICs: problem analysis and detection scheme Wolff, Francis; Papachristou, Chris; Bhunia, Swarup Proceedings of the conference on Design, automation and test in Europe - DATE '08 https://doi.org/10.1145/1403375.1403703	conference	January 2008
On Computable Numbers, with an Application to the Entscheidungsproblem Turing, A. M. Proceedings of the London Mathematical Society, Vol. s2-42, Issue 1 https://doi.org/10.1112/plms/s2-42.1.230	journal	January 1937

Similar Records

Detecting Hardware Trojans in PCBs Using Side Channel Loopbacks

Journal Article · Fri Jul 01 00:00:00 EDT 2022 · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · OSTI ID:1502452

Pearce, Hammond; Surabhi, Virinchi Roy; Krishnamurthy, Prashanth; +3 more

Securing mobile code.

Technical Report · Fri Oct 01 00:00:00 EDT 2004 · OSTI ID:1502452

Link, Hamilton E; Schroeppel, Richard Crabtree; Neumann, William Douglas; +4 more

Contact-Less Integrity Verification of Microelectronics Using Near-Field EM Analysis

Journal Article · Mon Jul 31 00:00:00 EDT 2023 · IEEE Access · OSTI ID:1502452

Huan, Junjun; Dehghanzadeh, Peyman; Mandal, Soumyajit; +1 more

Related Subjects

97 MATHEMATICS AND COMPUTING
Hardware trojan prevention
Hardware trojan detection
Hardware security
Trusted hardware

Title: Targeted modification of hardware trojans

Citation Formats

References (20)

Similar Records

Related Subjects