TY - JOUR
T1 - Detecting unknown hardware Trojans in register transfer level leveraging Verilog conditional branching features
AU - Sutikno, Sarwono
AU - Putra, Septafiansyah Dwi
AU - Wijitrisnanto, Fajar
AU - Aminanto, Muhamad Erza
N1 - Funding Information:
This work was supported by the Research, Community Service, and Innovation Program, Bandung Institute of Technology (P3MI-ITB).
Publisher Copyright:
© 2013 IEEE.
PY - 2023/5/1
Y1 - 2023/5/1
N2 - Hardware Trojans have concealed modifications to integrated circuits (ICs) that can alter their functions, performance, or security properties. Existing Trojan detection methods are designed primarily to detect Trojans at the gate-level IC abstraction and lower levels, and only a few studies have investigated Trojan detection at the register transfer level (RTL). This study presents a novel machine learning-based approach for RTL-level Trojan detection, which leverages conditional statements from Verilog/VHDL code as ML features. Our proposed method has several significant novelties. Firstly, it can detect unknown Trojan instances since we incorporate general features for all Verilog circuits. Second, our approach can detect nontrigger-based Trojans, which are a type of Trojan that is particularly challenging to detect and has not been addressed by many existing techniques. Third, we incorporate feature engineering techniques, including Mutual Information and Person-Coefficient Correlation, to select the best features. We also implement feature scaling with standardization before balancing the data set. Our experimental results demonstrate that our approach achieves an average accuracy of 95.65% in the detection of Trojans, which is higher than previous detection techniques. The method is tested in the Trust-Hub Trojan benchmark RTL design, which demonstrates its effectiveness in detecting a wider range of Trojans at the RTL level. In summary, our novel approach shows great promise for enhancing hardware security by detecting a wider range of Trojans, including previously unseen Trojans, and improving detection accuracy.
AB - Hardware Trojans have concealed modifications to integrated circuits (ICs) that can alter their functions, performance, or security properties. Existing Trojan detection methods are designed primarily to detect Trojans at the gate-level IC abstraction and lower levels, and only a few studies have investigated Trojan detection at the register transfer level (RTL). This study presents a novel machine learning-based approach for RTL-level Trojan detection, which leverages conditional statements from Verilog/VHDL code as ML features. Our proposed method has several significant novelties. Firstly, it can detect unknown Trojan instances since we incorporate general features for all Verilog circuits. Second, our approach can detect nontrigger-based Trojans, which are a type of Trojan that is particularly challenging to detect and has not been addressed by many existing techniques. Third, we incorporate feature engineering techniques, including Mutual Information and Person-Coefficient Correlation, to select the best features. We also implement feature scaling with standardization before balancing the data set. Our experimental results demonstrate that our approach achieves an average accuracy of 95.65% in the detection of Trojans, which is higher than previous detection techniques. The method is tested in the Trust-Hub Trojan benchmark RTL design, which demonstrates its effectiveness in detecting a wider range of Trojans at the RTL level. In summary, our novel approach shows great promise for enhancing hardware security by detecting a wider range of Trojans, including previously unseen Trojans, and improving detection accuracy.
KW - detection
KW - Hardware trojan
KW - machine learning
KW - RTL
KW - Verilog
KW - VHDL
UR - http://www.scopus.com/inward/record.url?scp=85159693411&partnerID=8YFLogxK
U2 - 10.1109/ACCESS.2023.3272034
DO - 10.1109/ACCESS.2023.3272034
M3 - Article
AN - SCOPUS:85159693411
SN - 2169-3536
VL - 11
SP - 46073
EP - 46083
JO - IEEE Access
JF - IEEE Access
ER -