Hardware Trojans from Invisible Inversions: On the Trojanizability of Standard Cell Libraries
- URL: http://arxiv.org/abs/2603.21294v1
- Date: Sun, 22 Mar 2026 15:33:09 GMT
- Title: Hardware Trojans from Invisible Inversions: On the Trojanizability of Standard Cell Libraries
- Abstract summary: We identify cells that implement distinct logic functions yet are visually indistinguishable in SEM images.<n>We exploit this property to construct stealthy, standard-cell-based hardware Trojans.<n>Our results demonstrate that cell libraries can - and should - be evaluated for their potential "Trojanizability"
- Score: 6.912761748700114
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: At S&P 2023, Puschner et al. made a valuable dataset for hardware Trojan detection research publicly available. It contains a complete set of Scanning Electron Microscope (SEM) images of four different digital Integrated Circuits (ICs) fabricated at progressively smaller semiconductor technology nodes. Puschner et al. reported preliminary evidence that feature sizes affect Trojan detection performance, but they were unable to disentangle effects caused by insertion strategies or by degrading image quality from those intrinsic to the underlying standard cell libraries. Distinguishing those causes, however, is crucial to understand whether improved tooling (e.g., higher resolution imaging equipment) can remove the observed technology bias, or whether susceptibility to stealthy hardware Trojans is indeed an inherent property of a cell library. In this work, we dive deep into the S&P 2023 dataset to answer these questions. We first show that, using Puschner et al.'s metrics, such a separation is indeed difficult to establish. We then devise alternative metrics to more meaningfully assess and compare the potential susceptibility of standard cell libraries. We find clear differences between the evaluated libraries. However, in all cases we identify cells that implement distinct logic functions yet are visually indistinguishable in SEM images. We exploit this property to construct stealthy, standard-cell-based hardware Trojans and present a concrete case study: a privilege-escalation backdoor in an Ibex RISC-V core. Our results demonstrate that cell libraries can - and should - be evaluated for their potential "Trojanizability", and we recommend practical defenses.
Related papers
- An Automated Framework for Generating Stealthy Cell-Embedded Hardware Trojans [5.220556673305412]
Hardware Trojans (HTs) can be inserted by untrusted entities at different stages under the zero-trust model.<n>This paper presents a novel framework for automatically generating cell-embedded hardware Trojans using compromised standard-cell implementations.
arXiv Detail & Related papers (2026-07-08T06:24:51Z) - LIB-TRAP: Standard Cell Library Hardware Trojan Risk Assessment and Prevention [1.3060349684865795]
Vulnerabilities inherent to the fabless semiconductor manufacturing model have significantly increased the risk of malicious Hardware Trojan insertion.<n>This work investigates a novel threat model in which standard cells are considered untrusted.
arXiv Detail & Related papers (2026-07-01T22:46:48Z) - LATENT: LLM-Augmented Trojan Insertion and Evaluation Framework for Analog Netlist Topologies [2.9172958535627598]
LATENT is the first large language model (LLM)-driven framework for crafting stealthy, circuit-specific analog Trojans.<n>We show that our generated Trojan designs exhibit an average Trojan-activation range of 15.74%, ensuring they remain inactive under most operating voltages.
arXiv Detail & Related papers (2025-05-09T18:09:58Z) - SALTY: Explainable Artificial Intelligence Guided Structural Analysis for Hardware Trojan Detection [5.170634751744272]
Hardware Trojans are malicious modifications in digital designs that can be inserted by untrusted supply chain entities.<n>Our framework (SALTY) mitigates concerns through the use of a novel Graph Neural Network architecture.
arXiv Detail & Related papers (2025-02-19T21:40:00Z) - TrojanDec: Data-free Detection of Trojan Inputs in Self-supervised Learning [34.62283824723201]
TrojanDec is the first data-free method to identify and recover a test input embedded with a trigger.<n>Our evaluation shows that TrojanDec can effectively identify the trojan from a given test input and recover it under state-of-the-art trojan attacks.
arXiv Detail & Related papers (2025-01-07T19:35:19Z) - Semi-Truths: A Large-Scale Dataset of AI-Augmented Images for Evaluating Robustness of AI-Generated Image detectors [62.63467652611788]
We introduce SEMI-TRUTHS, featuring 27,600 real images, 223,400 masks, and 1,472,700 AI-augmented images.
Each augmented image is accompanied by metadata for standardized and targeted evaluation of detector robustness.
Our findings suggest that state-of-the-art detectors exhibit varying sensitivities to the types and degrees of perturbations, data distributions, and augmentation methods used.
arXiv Detail & Related papers (2024-11-12T01:17:27Z) - Design for Assurance: Employing Functional Verification Tools for Thwarting Hardware Trojan Threat in 3PIPs [13.216074408064117]
Third-party intellectual property cores are essential building blocks of modern system-on-chip and integrated circuit designs.
These design components usually come from vendors of different trust levels and may contain undocumented design functionality.
We develop a method for identifying and preventing hardware Trojans, employing functional verification tools and languages familiar to hardware designers.
arXiv Detail & Related papers (2023-11-21T03:32:07Z) - Hardly Perceptible Trojan Attack against Neural Networks with Bit Flips [51.17948837118876]
We present hardly perceptible Trojan attack (HPT)
HPT crafts hardly perceptible Trojan images by utilizing the additive noise and per pixel flow field.
To achieve superior attack performance, we propose to jointly optimize bit flips, additive noise, and flow field.
arXiv Detail & Related papers (2022-07-27T09:56:17Z) - EVHA: Explainable Vision System for Hardware Testing and Assurance -- An
Overview [0.0]
We propose Explainable Vision System for Hardware Testing and Assurance (EVHA) in this work.
EVHA can detect the smallest possible change to a design in a low-cost, accurate, and fast manner.
This article provides an overview on the design, development, implementation, and analysis of our defense system.
arXiv Detail & Related papers (2022-07-20T02:58:46Z) - Quarantine: Sparsity Can Uncover the Trojan Attack Trigger for Free [126.15842954405929]
Trojan attacks threaten deep neural networks (DNNs) by poisoning them to behave normally on most samples, yet to produce manipulated results for inputs attached with a trigger.
We propose a novel Trojan network detection regime: first locating a "winning Trojan lottery ticket" which preserves nearly full Trojan information yet only chance-level performance on clean inputs; then recovering the trigger embedded in this already isolated subnetwork.
arXiv Detail & Related papers (2022-05-24T06:33:31Z) - Practical Detection of Trojan Neural Networks: Data-Limited and
Data-Free Cases [87.69818690239627]
We study the problem of the Trojan network (TrojanNet) detection in the data-scarce regime.
We propose a data-limited TrojanNet detector (TND), when only a few data samples are available for TrojanNet detection.
In addition, we propose a data-free TND, which can detect a TrojanNet without accessing any data samples.
arXiv Detail & Related papers (2020-07-31T02:00:38Z) - Odyssey: Creation, Analysis and Detection of Trojan Models [91.13959405645959]
Trojan attacks interfere with the training pipeline by inserting triggers into some of the training samples and trains the model to act maliciously only for samples that contain the trigger.
Existing Trojan detectors make strong assumptions about the types of triggers and attacks.
We propose a detector that is based on the analysis of the intrinsic properties; that are affected due to the Trojaning process.
arXiv Detail & Related papers (2020-07-16T06:55:00Z) - Scalable Backdoor Detection in Neural Networks [61.39635364047679]
Deep learning models are vulnerable to Trojan attacks, where an attacker can install a backdoor during training time to make the resultant model misidentify samples contaminated with a small trigger patch.
We propose a novel trigger reverse-engineering based approach whose computational complexity does not scale with the number of labels, and is based on a measure that is both interpretable and universal across different network and patch types.
In experiments, we observe that our method achieves a perfect score in separating Trojaned models from pure models, which is an improvement over the current state-of-the art method.
arXiv Detail & Related papers (2020-06-10T04:12:53Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.