arXiv:2411.07308cs.CRcs.AI2024-11被引 4

用可解释AI加速芯片安全设计探索,让专家轻松理解防护策略。

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

  • 引入可解释AI自动搜索芯片安全方案,替代人工试错
  • 在3个逆向工程攻击上验证有效,可推广至硬件木马等威胁
  • 提供人类可读的决策理由,降低专家使用门槛

集成电路的设计与制造依赖全球分布式半导体供应链,虽提升效率,却面临恶意修改(硬件木马)、逆向工程(RE)和克隆等重大安全风险。部署后系统还受功耗、时序和电磁(EM)侧信道攻击威胁。已有众多设计安全(DFS)方案应对,如逻辑锁、抗侧信道掩码和冗余逻辑插入,但多数缺乏严格形式化基础,难以理解,且需大量人工参与。本工作提出X-DFS:一种可解释人工智能驱动的DFS解空间探索方法,显著缩短策略开发与使用时间,并通过提供可理解的决策依据深化对漏洞的认知。我们实现了X-DFS,并在逆向工程威胁(SAIL、SWEEP、OMLA)上进行全面评估,同时构建通用机制,可扩展至硬件木马、故障攻击及侧信道攻击,支持未来无缝集成。

原文摘要 · Abstract (English)

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 solution-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.

可解释AI芯片安全设计防御

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。