|
Vulnerability Analysis of Digital Circuits against Capacitor-based Timing Hardware Trojan
|
Fatemeh Khormizi *1 , Bijan Alizadeh1  |
| 1- School of Electrical and Computer Engineering, College of Engineering, University of Tehran, 14395-515, Tehran, Iran |
|
|
Abstract: (4112 Views) |
Hardware Trojan is a hardware security threat that attempts to insert in the circuit and modifies the hardware stealthy. Trojan detection and design-for-trust are the main defensive strategies against hardware Trojan. The target of Trojan detection is to verify hardware Trojan and in design-for-security, the security techniques are presented for facilitating detection or preventing hardware Trojan insertion. In this work, we introduce a capacitor-based timing hardware Trojan (THT) model and then discuss how to analyze the vulnerability of gate-level circuits against such THT model. For THT that violates timing constraints in the circuit, the susceptible nets are recognized. Susceptible nets to THT are vulnerable nets in path-delay analysis and logic testing detection approaches and they are not detectable easily. The experimental results show that the number of vulnerable nets to the capacitor-based THT model is small enough so that a design-for-trust approach can be proposed. |
|
| Keywords: timing hardware trojan, vulnerability analysis, path-delay based detection, logic testing based detection |
|
|
Full-Text [PDF 982 kb]
(1650 Downloads)
|
Type of Study: Research Article |
Subject:
Cryptology and Information Security Received: 2023/02/13 | Accepted: 2022/09/1 | Published: 2022/09/1
|
|
|
|
|
|