CRII: SaTC: RUI: When Logic Locking Meets Hardware Trojan Mitigation and Fault Tolerance

CRII：SaTC：RUI：当逻辑锁定遇到硬件木马缓解和容错时

• 批准号: 2245247
• 负责人: Amin Rezaei
• 金额: $ 17.3万
• 依托单位: California State University-Long Beach Foundation
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2023
• 资助国家: 美国
• 起止时间: 2023-03-15 至 2025-02-28
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2245247&HistoricalAwards=false
• 关键词: CRII; SaTC; RUI; When; Logic

The enormous consequences of hardware vulnerabilities, including the costly prospect of fixing them, have been the subject of dozens of national reports. This project aims to address these growing issues. Particularly, the project’s novelty is conceptualizing hardware security and reliability based on the notion of reconfigurability under realistic attack models and a unified definition of different hardware security requirements. The project's broader significance and importance include helping the national electronics industry safeguard the underlying hardware for a trustworthy information age and increasing the number of minorities seeking undergraduate and graduate degrees in science and engineering, with a focus on cybersecurity.In a fabless paradigm, integrated circuit design houses must envision not only traditional fault-tolerance techniques to reduce the cost of replacing defective components, but also procedures to avoid piracy and overproduction of their designs as well as mitigate potentially inserted hardware Trojans by untrusted foundries. In this project, the investigator and his team focus on a comprehensive hardware security and reliability framework in two phases. First, the research team investigates secure embedded Field-Programmable Gate Array (eFPGA) redaction solutions. The structure of eFPGAs can provide opportunities to make the integrated circuits secure not just against logic locking attacks but also to mitigate hardware Trojans and tolerate faults at run-time. Second, the research team propose dynamic key schemes with multi-level activation and functional stages to offer a high degree of logic locking security, hardware Trojan mitigation, and fault tolerance without significantly imposing area and power overheads. The outcomes of this project will be disseminated to well-respected design automation venues, and an open-source computer program will be released that receives an efficient digital circuit and outputs a low-overhead and provably secure netlist considering different hardware security requirements. This will help the national high-tech industry thrive and contribute to economic prosperity, innovation, and security.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

硬件漏洞的巨大后果，包括修复这些漏洞的成本高昂，已成为数十份国家报告的主题。该项目旨在解决这些日益严重的问题，特别是，该项目的新颖之处在于基于概念的硬件安全性和可靠性。现实攻击模型下的可重构性以及不同硬件安全要求的统一定义该项目的更广泛意义和重要性包括帮助国家电子行业保护可信赖的信息时代的底层硬件，并增加寻求科学和研究生学位的少数群体的数量。在无晶圆厂范式中，集成电路设计公司不仅必须设想传统的容错技术来降低更换有缺陷组件的成本，而且还必须设想避免盗版和设计过度生产以及减轻设计风险的程序。可能由不受信任的代工厂插入的硬件木马在该项目中，研究人员和他的团队分两个阶段重点研究全面的硬件安全性和可靠性框架，首先，研究团队研究安全嵌入式现场可编程门阵列（eFPGA）编辑。 eFPGA 的结构不仅可以使集成电路安全地抵御逻辑锁定攻击，还可以减轻硬件木马并容忍运行时的故障。功能阶段提供高度的逻辑锁定安全性、硬件木马缓解和容错能力，而不会显着增加面积和功耗。该项目的成果将传播到备受推崇的设计自动化场所和开源计算机程序。将考虑到不同的硬件安全要求，发布的接收高效数字电路并输出低开销且可证明安全的网表，这将有助于国家高科技产业的蓬勃发展，并为经济繁荣、创新和安全做出贡献。该奖项反映了 NSF 的法定使命。通过使用基金会的智力优点和更广泛的影响审查标准进行评估，并被认为值得支持。

项目成果

CoLA: Convolutional Neural Network Model for Secure Low Overhead Logic Locking Assignment

CoLA：用于安全低开销逻辑锁定分配的卷积神经网络模型

• DOI: 10.1145/3583781.3590219
• 发表时间: 2023-06
• 期刊: Proceedings of Great Lakes Symposium on VLSI (GLSVLSI
• 作者: Aghamohammadi, Yeganeh;Rezaei, Amin
• 通讯作者: Rezaei, Amin

DK Lock: Dual Key Logic Locking Against Oracle-Guided Attacks

DK Lock：针对 Oracle 引导攻击的双密钥逻辑锁定

• DOI: 10.1109/isqed57927.2023.10129368
• 发表时间: 2023-04
• 期刊: Proceedings of International Symposium on Quality Electronic Design (ISQED
• 作者: Maynard, Jordan;Rezaei, Amin
• 通讯作者: Rezaei, Amin

Machine Learning-Based Security Evaluation and Overhead Analysis of Logic Locking

基于机器学习的逻辑锁定安全评估和开销分析

• DOI: 10.1007/s41635-024-00144-8
• 发表时间: 2024-01
• 期刊: Journal of Hardware and Systems Security
• 作者: Aghamohammadi, Yeganeh;Rezaei, Amin
• 通讯作者: Rezaei, Amin

Risk-Aware and Explainable Framework for Ensuring Guaranteed Coverage in Evolving Hardware Trojan Detection

确保不断发展的硬件木马检测的覆盖范围的风险意识和可解释框架

• DOI: 10.1109/iccad57390.2023.10323655
• 发表时间: 2023-10-14
• 期刊: 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD)
• 作者: Rahul Vishwakarma;Amin Rezaei
• 通讯作者: Amin Rezaei