Abstract:Hardware Trojan has emerged as a major security concern for integrated circuits. This paper presents a novel design obfuscation scheme against hardware Trojan attacks based on chaos finite state machine (FSM) and delay chains array physical unclonable function (PUF). We exploits the pseudo-random characteristics of the M-sequences to propose a chaos FSM design method which can generate exponentially many random states and transitions to obfuscate the chip’s functional states with low overhead. The chip’s functionalities are locked and obfuscated and would not be functional without a unique key that can only be computed by the designer. We also propose a new PUF construction method, named delay chains array PUF (DAPUF), to extract the unique power-up state for each chip which is corresponding to a unique key sequence. We introduce confusions between delay chains to achieve avalanche effects of the PUF outputs. Thus the proposed DAPUF approach can provide large number of PUF instances with high accuracy and reverse-engineering resistant. Through the proposed obfuscation scheme, the designer can control the IC’s operation modes (chaos mode and normal mode) and functionalities, and can also remotely disable the chips when hardware Trojan insertion is revealed. The functional obfuscation prevents the adversary from understanding the real functionalities of the circuit as well as the real rare events in the internal nodes, thus making it difficult for the adversary to insert hard-to-detect Trojans. It also makes the inserted Trojans become invalid since the Trojans are most likely inserted in the chaos mode and will be activated only in the chaos mode. Both simulation experiments on benchmark circuits and hardware evaluations on FPGA show the security, low overhead and practicality of the proposed method.

Scheme of Hardware Trojans Isolation for Switch Chip Buffer

Preventing Hardware Trojans in Switch Chip Based on Payload Decoupling

Security Against Hardware Trojan Attacks Through a Novel Chaos FSM and Delay Chains Array PUF Based Design Obfuscation Scheme.

Hardware Design of Lightweight Stream Cipher PUFFIN Algorithm for Anti-cooperation

Real-Time Protection Architecture Against Hardware Trojan Attacks

Hardware Trojans in Chips: A Survey for Detection and Prevention

T-TER: Defeating A2 Trojans with Targeted Tamper-Evident Routing

A New Hardware Logic Circuit For Evaluating Multi-Processor Chip Security

Design and Insertion of Hardware Trojan Based on Finite State Machine

Hardware Trojan prevention method based on secret key

A Hardware Trojan Detection Technique Based on Rapid Trigger and Reducing Resource Consumption

Study on acceleration of hardware Trojan detection

Hardware Trojan Designs Based on High-Low Probability and Partitioned Combinational Logic With a Malicious Reset Signal

Side-Channel Hardware Trojan for Provably-Secure SCA-Protected Implementations

A General Hardware Trojan Technique Targeted on Lightweight Cryptography with Bit-Serial Structure

TPAD: Hardware Trojan Prevention and Detection for Trusted Integrated Circuits

Security Closure of IC Layouts Against Hardware Trojans

Hardware Trojan Threats to Cache Coherence in Modern 2.5D Chiplet Systems

The Implementation and Analysis of a Trojan Circuit in IC Chips

An Implementation of Trojan Side-Channel with a Masking Scheme

Hardware Trojan Attack in Embedded Memory