TrojanZero: Switching Activity-Aware Design of Undetectable Hardware Trojans with Zero Power and Area Footprint

11/05/2018
by   Imran Hafeez Abbassi, et al.
0

Conventional Hardware Trojan (HT) detection techniques are based on the validation of integrated circuits to determine changes in their functionality, and on non-invasive side-channel analysis to identify the variations in their physical parameters. In particular, almost all the proposed side-channel power-based detection techniques presume that HTs are detectable because they only add gates to the original circuit with a noticeable increase in power consumption. This paper demonstrates how undetectable HTs can be realized with zero impact on the power and area footprint of the original circuit. Towards this, we propose a novel concept of TrojanZero and a systematic methodology for designing undetectable HTs in the circuits, which conceals their existence by gate-level modifications. The crux is to salvage the cost of the HT from the original circuit without being detected using standard testing techniques. Our methodology leverages the knowledge of transition probabilities of the circuit nodes to identify and safely remove expendable gates, and embeds malicious circuitry at the appropriate locations with zero power and area overheads when compared to the original circuit. We synthesize these designs and then embed in multiple ISCAS85 benchmarks using a 65nm technology library, and perform a comprehensive power and area characterization. Our experimental results demonstrate that the proposed TrojanZero designs are undetectable by the state-of-the-art power-based detection methods.

READ FULL TEXT
research
02/27/2023

Novel Efficient Scalable QCA XOR and Full Adder Designs

Circuit design based on Quantum-dots Cellular Automata technology offers...
research
05/15/2018

BLASYS: Approximate Logic Synthesis Using Boolean Matrix Factorization

Approximate computing is an emerging paradigm where design accuracy can ...
research
01/21/2019

Automatic Synthesis of Totally Self-Checking Circuits

Totally self-checking (TSC) circuits are synthesised with a grid of comp...
research
02/28/2023

Tiny Classifier Circuits: Evolving Accelerators for Tabular Data

A typical machine learning (ML) development cycle for edge computing is ...
research
07/05/2023

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

A major security threat to an integrated circuit (IC) design is the Hard...
research
06/16/2020

Efficient Metastability Characterization for Schmitt-Triggers

Despite their attractiveness as metastability filters, Schmitt-Triggers ...
research
07/08/2020

Power Side-Channel Attacks in Negative Capacitance Transistor (NCFET)

Side-channel attacks have empowered bypassing of cryptographic component...

Please sign up or login with your details

Forgot password? Click here to reset