TY - JOUR
T1 - Circuit enclaves susceptible to hardware Trojans insertion at gate-level designs
AU - Sebt, Seyed Mohammad
AU - Patooghy, Ahmad
AU - Beitollahi, Hakem
AU - Kinsy, Michel
N1 - Publisher Copyright:
© The Institution of Engineering and Technology 2018.
PY - 2018/11/1
Y1 - 2018/11/1
N2 - A hardware Trojan (HT) is an extra circuitry inserted into a chip design with the malicious aim of functionality alteration, reliability degradation or secret information leakage. It is normally very hard to find HT activation signals since such signals are intended to activate upon occurring very rare conditions on specific nets of the infected circuit. A security engineer would have to search among thousands of gates and modules to make sure about the non-existence of design-time HTs in the circuit. The authors propose efficient net susceptibility metrics to significantly speedup functional-HT detection in gate-level digital designs. The proposed metrics perform a computationally low overhead analysis on the controllability and observability parameters of each net of the under HT-test circuit. Then, using a proposed net classifier method, a very low percentage of circuit nets is determined as HT trigger suspicious nets. To show practicality and detection accuracy of the proposed metrics, gate-level circuits of Trust-HUB benchmark suite are examined by the proposed metrics. Results confirm a 100% HT trigger detection with a low false positive as compared with previous metrics. More importantly, unlike previously proposed methods, the authors detection accuracy is totally independent of the switching probability of circuit inputs.
AB - A hardware Trojan (HT) is an extra circuitry inserted into a chip design with the malicious aim of functionality alteration, reliability degradation or secret information leakage. It is normally very hard to find HT activation signals since such signals are intended to activate upon occurring very rare conditions on specific nets of the infected circuit. A security engineer would have to search among thousands of gates and modules to make sure about the non-existence of design-time HTs in the circuit. The authors propose efficient net susceptibility metrics to significantly speedup functional-HT detection in gate-level digital designs. The proposed metrics perform a computationally low overhead analysis on the controllability and observability parameters of each net of the under HT-test circuit. Then, using a proposed net classifier method, a very low percentage of circuit nets is determined as HT trigger suspicious nets. To show practicality and detection accuracy of the proposed metrics, gate-level circuits of Trust-HUB benchmark suite are examined by the proposed metrics. Results confirm a 100% HT trigger detection with a low false positive as compared with previous metrics. More importantly, unlike previously proposed methods, the authors detection accuracy is totally independent of the switching probability of circuit inputs.
UR - http://www.scopus.com/inward/record.url?scp=85055545527&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85055545527&partnerID=8YFLogxK
U2 - 10.1049/iet-cdt.2018.5108
DO - 10.1049/iet-cdt.2018.5108
M3 - Article
AN - SCOPUS:85055545527
SN - 1751-8601
VL - 12
SP - 251
EP - 257
JO - IET Computers and Digital Techniques
JF - IET Computers and Digital Techniques
IS - 6
ER -