Abstract:With the growth and globalization of IC design and development, there is an increase in the number of Designers and Design houses. As setting up a fabrication facility may easily cost upwards of $20 billion, costs for advanced nodes may be even greater. IC design houses that cannot produce their chips in-house have no option but to use external foundries that are often in other countries. Establishing trust with these external foundries can be a challenge, and these foundries are assumed to be untrusted. The use of these untrusted foundries in the global semiconductor supply chain has raised concerns about the security of the fabricated ICs targeted for sensitive applications. One of these security threats is the adversarial infestation of fabricated ICs with a Hardware Trojan (HT) . An HT can be broadly described as a malicious modification to a circuit to control, modify, disable, or monitor its logic. Conventional VLSI manufacturing tests and verification methods fail to detect HT due to the different and un-modeled nature of these malicious modifications. Current state-of-the-art HT detection methods utilize statistical analysis of various side-channel information collected from ICs, such as power analysis, power supply transient analysis, regional supply current analysis, temperature analysis, wireless transmission power analysis, and delay analysis. To detect HTs, most methods require a Trojan-free reference golden IC. A signature from these golden ICs is extracted and used to detect ICs with HTs. However, access to a golden IC is not always feasible. Thus, a mechanism for HT detection is sought that does not require the golden IC. Machine Learning (ML) approaches have emerged to be extremely useful in helping eliminate the need for a golden IC. Recent works on utilizing ML for HT detection have been shown to be promising in achieving this goal. Thus, in this tutorial, we will explain utilizing ML as a solution to the challenge of HT detection. Additionally, we will describe the Electronic Design Automation (EDA) tool flow for automating ML-assisted HT detection. Moreover, to further discuss the benefits of ML-assisted HT detection solutions, we will demonstrate a Neural Network (NN) -assisted timing profiling method for HT detection. Finally, we will discuss the shortcomings and open challenges of ML-assisted HT detection methods.

Unleashing GHOST: An LLM-Powered Framework for Automated Hardware Trojan Design

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

TrojanForge: Generating Adversarial Hardware Trojan Examples Using Reinforcement Learning

Evasive Hardware Trojan through Adversarial Power Trace

Trojan playground: a reinforcement learning framework for hardware Trojan insertion and detection

Advancing the State-of-the-Art in Hardware Trojans Design

Hardware Trojans in Chips: A Survey for Detection and Prevention

Automated Hardware Logic Obfuscation Framework Using GPT

Hardware Trojan Detection Using Machine Learning: A Tutorial

SENTAUR: Security EnhaNced Trojan Assessment Using LLMs Against Undesirable Revisions

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

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

Hardware Trojan Detection Using Deep Learning-Generative Adversarial Network and Stacked Auto Encoder Neural Networks

DSE-Based Hardware Trojan Attack for Neural Network Accelerators on FPGAs.

MacLeR: Machine Learning-based Run-Time Hardware Trojan Detection in Resource-Constrained IoT Edge Devices

Hardware Trojan Insertion in Finalized Layouts: From Methodology to a Silicon Demonstration

LLMPirate: LLMs for Black-box Hardware IP Piracy

HAL—The Missing Piece of the Puzzle for Hardware Reverse Engineering, Trojan Detection and Insertion

A Cost-Driven Method for Deep-Learning-Based Hardware Trojan Detection

HT-PGFV: Security-Aware Hardware Trojan Security Property Generation and Formal Security Verification Scheme

TPAD: Hardware Trojan Prevention and Detection for Trusted Integrated Circuits