SaTC: CORE: Small: Efficient Logic Encryptions for Hardware IP Protection

SaTC：CORE：小型：用于硬件 IP 保护的高效逻辑加密

• 批准号: 2113704
• 负责人: Hai Zhou
• 金额: $ 50万
• 依托单位: Northwestern University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2021
• 资助国家: 美国
• 起止时间: 2021-07-01 至 2025-06-30
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2113704&HistoricalAwards=false
• 关键词: SaTC; CORE; Small; Efficient; Logic

With the increasing outsourcing of integrated circuit fabrication, hardware Intellectual Property protection has become a critical issue for the semiconductor industry. This project develops efficient logic encryption techniques and tools to protect circuits from piracy. Logic encryption is a technique that modifies a circuit with added extra inputs such that only users with the correct key can get the correct results. The fact that an attacker has the access to a working chip and the structure of the circuit makes the problem very challenging. The project will develop efficient algorithms and programs for logic encryption that are provably secure using mathematical and cryptographic foundations.To protect a circuit, logic encryption needs to insert errors when the key is incorrect, and also needs to prevent the attacker from gathering information from the circuit structure. The former is called locking, and the latter is called obfuscation. The project separates these two tasks and develops solutions for both of them. It also investigates the contention between the number of errors and hardness of key discovery. Trade-offs among the locking, obfuscation, and key lengths are thoroughly investigated. For obfuscation, universal circuit based solutions will be developed, and efficient designs with small key lengths need to be discovered. In order to apply the techniques in the integrated circuit design flow, design automation algorithms and tools need to be developed and tested.Intellectual property protection has become a key enabler for the survival of the semiconductor industry. The techniques and tools developed in the project can help the industry to reduce and even prevent hardware piracy. Industrial test cases will be used in the evaluation of the project. The project will also provide training and educational opportunities for next-generation hardware designers, to help them understand and improve the security of their designs.The logic encryption algorithms, programs, and testing data, and their analyses will be collected as the data set for the project. This data set, with explanation notes and README, and the publications generated from the project will be maintained in a permanent repositories at Northwestern website and on the GitHub. The URL is: https://github.com/haizhouus/Logic-EncryptionThis 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.

随着集成电路制造外包的增加，硬件知识产权保护已成为半导体行业的关键问题。该项目开发有效的逻辑加密技术和工具，以保护电路免受盗版。逻辑加密是一种通过添加额外输入来修改电路的技术，使得只有具有正确密钥的用户才能获得正确的结果。攻击者可以访问工作芯片和电路结构的事实使得这个问题非常具有挑战性。该项目将开发逻辑加密的有效算法和程序，这些算法和程序使用数学和密码学基础可证明是安全的。为了保护电路，逻辑加密需要在密钥不正确时插入错误，并且还需要防止攻击者从电路结构中收集信息。前者称为锁定，后者称为混淆。该项目将这两项任务分开，并为它们开发解决方案。同时，还研究了密钥发现的错误数量与密钥发现难度之间的矛盾。彻底研究了锁定、模糊和密钥长度之间的权衡。对于混淆，将开发基于通用电路的解决方案，并且需要发现具有小密钥长度的有效设计。为了在集成电路设计流程中应用这些技术，需要开发和测试设计自动化算法和工具。知识产权保护已成为半导体行业生存的关键因素。该项目开发的技术和工具可以帮助业界减少甚至防止硬件盗版。工业测试案例将用于项目评估。该项目还将为下一代硬件设计人员提供培训和教育机会，帮助他们了解和提高设计的安全性。逻辑加密算法、程序和测试数据及其分析将被收集作为项目的数据集。该数据集，解释说明和README，以及该项目产生的出版物将在Northwestern网站和GitHub上的永久存储库中维护。网址是：https://github.com/haizhouus/Logic-EncryptionThis奖反映了NSF的法定使命，并已被认为值得通过使用基金会的知识价值和更广泛的影响审查标准进行评估的支持。

项目成果

SE3: Sequential Equivalence Checking for Non-Cycle-Accurate Design Transformations †

SE3：非周期精确设计转换的顺序等价检查 †

• DOI: 10.1109/dac56929.2023.10247912
• 发表时间: 2023
• 期刊: 2023 60th ACM/IEEE Design Automation Conference (DAC)
• 作者: You Li;Guannan Zhao;Yunqi He;H. Zhou
• 通讯作者: H. Zhou

Discovering emergency call pitfalls for cellular networks with formal methods

使用形式化方法发现蜂窝网络的紧急呼叫陷阱

• DOI: 10.1145/3458864.3466625
• 发表时间: 2021
• 期刊: MobiSys 2021
• 作者: Hou, Kaiyu;Li, You;Yu, Yinbo;Chen, Yan;Zhou, Hai
• 通讯作者: Zhou, Hai

Sequential Logic Encryption Against Model Checking Attack

针对模型检查攻击的顺序逻辑加密

• DOI: 10.23919/date51398.2021.9474002
• 发表时间: 2021
• 期刊: Testing in Europe
• 作者: Rezaei, Amin;Zhou, Hai
• 通讯作者: Zhou, Hai

ObfusLock: An Efficient Obfuscated Locking Framework for Circuit IP Protection†

ObfusLock：用于电路 IP 保护的高效混淆锁定框架†

• 发表时间: 2023
• 期刊: Design, Automation and Test in Europe
• 作者: You Li;Guannan Zhao;Yunqi He;H. Zhou
• 通讯作者: H. Zhou

Global Attack and Remedy on IC-Specific Logic Encryption

IC专用逻辑加密的全球攻击和补救措施

• DOI: 10.1109/host54066.2022.9840128
• 发表时间: 2022
• 期刊: 2022 IEEE International Symposium on Hardware Oriented Security and Trust (HOST
• 作者: Rezaei, Amin;Hedayatipour, Ava;Sayadi, Hossein;Aliasgari, Mehrdad;Zhou, Hai
• 通讯作者: Zhou, Hai