arrow
返回

X-DFS: Explainable Artificial Intelligence Guided Design-for-Security Solution Space Exploration

delete2025-01-01
delete0
PRE
AI
T
Tanzim Mahfuz
S
Swarup Bhunia
P
Prabuddha Chakraborty *
DOI:10.1109/TIFS.2024.3515855delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
Design and manufacturing of integrated circuits predominantly use a globally distributed semiconductor supply chain involving diverse entities. The modern semiconductor supply chain has been designed to boost production efficiency, but is filled with major security concerns such as malicious modifications (hardware Trojans), reverse engineering (RE), and cloning. While being deployed, digital systems are also subject to a plethora of threats such as power, timing, and electromagnetic (EM) side channel attacks. Many Design-for-Security (DFS) solutions have been proposed to deal with these vulnerabilities, and such solutions (DFS) relays on strategic modifications (e.g., logic locking, side channel resilient masking, and dummy logic insertion) of the digital designs for ensuring a higher level of security. However, most of these DFS strategies lack robust formalism, are often not human-understandable, and require an extensive amount of human expert effort during their development/use. All of these factors make it difficult to keep up with the ever growing number of microelectronic vulnerabilities. In this work, we propose X-DFS, an explainable Artificial Intelligence (AI) guided DFS isolution-space exploration approach that can dramatically cut down the mitigation strategy development/use time while enriching our understanding of the vulnerability by providing human-understandable decision rationale. We implement X-DFS and comprehensively evaluate it for reverse engineering threats (SAIL, SWEEP, and OMLA) and formalize a generalized mechanism for applying X-DFS to defend against other threats such as hardware Trojans, fault attacks, and side channel attacks for seamless future extensions.
Keyword:
Logic gates
Logic
Security
Reverse engineering
Trojan horses
Supply chains
Microelectronics
Watermarking
Testing
Side-channel attacks
Design-for-security
explainable artificial intelligence
hardware security
reverse engineering
logic locking

期刊

IEEE Transactions on Information Forensics and Security 封面图
IEEE Transactions on Information Forensics and Security
IF:
8
论文数:
5.2K
被引数:
2.3W

机构

U
university of maine orono
学者数:
2.5K
论文数: 2.1K
被引数: 3
University of Maine System 封面图
University of Maine System
学者数:
4.3K
论文数: 3.7K
被引数: 18
引用论文

引用论文

err分享
err收藏
Aspergillus fumigatus Bronchopneumonia in a Hellenic Shepherd Dog
err2011-03-01
err0
PREAI
errKaterina K. Adamama-Moraitou; Dimitra Pardali; Michael J. Day; David W. Denning; Lysimachos Papazoglou; Anastasia Papastefanou; Timoleon S. Rallis
err分享
err收藏
Discovery and genetic characterization of a novel orthonairovirus in Ixodes ricinus ticks from Danube Delta多瑙河三角洲蓖麻硬蜱中一种新的原冠病毒的发现和遗传特征
err2021-03-01
err0
PREAI
errAlexandru Tomazatos; Ronald von Possel; Neele Pekarek; Tobias Holm; Toni Rieger; Heike Baum; Alexandra Bialonski; Iulia Maranda; Imola Erdelyi-Molnár; Marina Spînu; Renke Lühken; Stephanie Jansen; Petra Emmerich; Jonas Schmidt-Chanasit; Daniel Cadar
err分享
err收藏
Systemic activation of adenylate cyclase located in the plasmalemma of potato cells in bacterial pathogenesis
err2007-04-01
err0
PREAI
errL. A. Lomovatskaya; A. S. Romanenko; N. V. Krivolapova; V. N. Kopytchuk; R. K. Salyaev
err分享
err收藏
学者 查看更多内容