DETER: Design for Trust utilizing Rareness Reduction

02/17/2023
by   Aruna Jayasena, et al.
0

Increasing design complexity and reduced time-to-market have motivated manufacturers to outsource some parts of the System-on-Chip (SoC) design flow to third-party vendors. This provides an opportunity for attackers to introduce hardware Trojans by constructing stealthy triggers consisting of rare events (e.g., rare signals, states, and transitions). There are promising test generation-based hardware Trojan detection techniques that rely on the activation of rare events. In this paper, we investigate rareness reduction as a design-for-trust solution to make it harder for an adversary to hide Trojans (easier for Trojan detection). Specifically, we analyze different avenues to reduce the potential rare trigger cases, including design diversity and area optimization. While there is a good understanding of the relationship between area, power, energy, and performance, this research provides a better insight into the dependency between area and security. Our experimental evaluation demonstrates that area reduction leads to a reduction in rareness. It also reveals that reducing rareness leads to faster Trojan detection as well as improved coverage by Trojan detection methods.

READ FULL TEXT

page 5

page 6

research
03/12/2018

Hardware Trojan Detection through Information Flow Security Verification

Semiconductor design houses are increasingly becoming dependent on third...
research
06/14/2019

Computing Committor Functions for the Study of Rare Events Using Deep Learning

The committor function is a central object of study in understanding tra...
research
09/11/2022

A point process model for rare event detection

Detecting rare events, those defined to give rise to high impact but hav...
research
01/04/2022

Reusing Verification Assertions as Security Checkers for Hardware Trojan Detection

Globalization in the semiconductor industry enables fabless design house...
research
04/12/2022

AdaTest:Reinforcement Learning and Adaptive Sampling for On-chip Hardware Trojan Detection

This paper proposes AdaTest, a novel adaptive test pattern generation fr...
research
01/19/2017

Rare Disease Physician Targeting: A Factor Graph Approach

In rare disease physician targeting, a major challenge is how to identif...
research
03/29/2020

Analytical Estimation and Localization of Hardware Trojan Vulnerability in RTL Designs

Offshoring the proprietary Intellectual property (IP) has recently incre...

Please sign up or login with your details

Forgot password? Click here to reset