Abstract:System-on-chip (SoC) developers increasingly rely on pre-verified hardware intellectual property (IP) blocks often acquired from untrusted third-party vendors. These IPs might contain hidden malicious functionalities or hardware Trojans that may compromise the security of the fabricated SoCs. Lack of golden or reference models and vast possible Trojan attack space form some of the major barriers in detecting hardware Trojans in these third-party IP (3PIP) blocks. Recently, supervised machine learning (ML) techniques have shown promising capability in identifying nets of potential Trojans in 3PIPs without the need of golden models. However, they bring several major challenges. First, they do not guide us to an optimal choice of features that reliably covers diverse classes of Trojans. Second, they require multiple Trojan-free/trusted designs to insert known Trojans and generate a trained model. Even if a set of trusted designs are available for training, the suspect IP can have inherently very different structure from the set of trusted designs, which may negatively impact the verification outcome. Third, these techniques only identify a set of suspect Trojan nets that require manual intervention to understand the potential threat. In this paper, we present VIPR, a systematic machine learning (ML) based trust verification solution for 3PIPs that eliminates the need for trusted designs for training. We present a comprehensive framework, associated algorithms, and a tool flow for obtaining an optimal set of features, training a targeted machine learning model, detecting suspect nets, and identifying Trojan circuitry from the suspect nets. We evaluate the framework on several Trust-Hub Trojan benchmarks and provide a comparative analysis of detection performance across different trained models, selection of features, and post-processing techniques. We demonstrate promising Trojan detection accuracy for VIPR with up to 92.85% reduction in false positives by the proposed post-processing algorithm.

SPICED: Syntactical Bug and Trojan Pattern Identification in A/MS Circuits using LLM-Enhanced Detection

Trojan Awakener: Detecting Dormant Malicious Hardware Using Laser Logic State Imaging (Extended Version)

TrojanWhisper: Evaluating Pre-trained LLMs to Detect and Localize Hardware Trojans

Design for Assurance: Employing Functional Verification Tools for Thwarting Hardware Trojan Threat in 3PIPs

The State-of-the-art in EDA tools: the Hardware Trojan Confrontation Framework

Pinpointing Hardware Trojans Through Semantic Feature Extraction and Natural Language Processing

TPAD: Hardware Trojan Prevention and Detection for Trusted Integrated Circuits

SENTAUR: Security EnhaNced Trojan Assessment Using LLMs Against Undesirable Revisions

Small Trojan Testing Using Bounded Model Checking.

Identifying Specious LUTs for Satisfiability Don’t Care Trojan Detection

On-Chip Analog Trojan Detection Framework for Microprocessor Trustworthiness

Rethinking IC Layout Vulnerability: Simulation-Based Hardware Trojan Threat Assessment with High Fidelity

Hardware Trojan Detection Combine with Machine Learning: an SVM-based Detection Approach

Side-Channel Analysis-Based Detection Approach of Hardware Trojans

R2D2: Runtime Reassurance and Detection of A2 Trojan

A Symbolic Approach to Detecting Hardware Trojans Triggered by Don't Care Transitions

DeMiST: Detection and Mitigation of Stealthy Analog Hardware Trojans

A Survey Report on Hardware Trojan Detection by Multiple-Parameter Side-Channel Analysis

Programmable EM Sensor Array for Golden-Model Free Run-time Trojan Detection and Localization

Novel Design Strategy Toward A2 Trojan Detection Based on Built-In Acceleration Structure

Hardware IP Assurance against Trojan Attacks with Machine Learning and Post-processing