SaTC: CORE: Small: A High Level Synthesis Approach to Logic Obfuscation

SaTC：核心：小：逻辑混淆的高级综合方法

• 批准号: 1953285
• 负责人: Ankur Srivastava
• 金额: $ 50万
• 依托单位: University of Maryland, College Park
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2020
• 资助国家: 美国
• 起止时间: 2020-07-01 至 2024-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1953285&HistoricalAwards=false
• 关键词: SaTC; CORE; Small; Level; Synthesis

Use of untrusted foundries for integrated circuit (IC) fabrication has raised concerns such as IC piracy and overproduction. Logic/Design locking (also known as logic obfuscation) secures design details from an untrusted fab by incorporating a locking key for hiding the functional and structural information of the circuit. This project will develop a system level methodology to design locked digital circuits which a) are rendered useless if the attacker uses any incorrect key and b) are resilient to state of the art attacks such as satisfiability attack (SAT). The project will develop several high level design optimization techniques that open new possibilities of locking design details at the system level. The main optimization goal is corruption of an application for any incorrect key. The techniques are designed to automatically inform the gate level locking constructions to achieve resiliency against SAT attacks. First, a few error critical inputs will be identified at the application level following which the architecture will be synthesized using appropriate system level decisions to render the circuit dysfunctional for wrong input key.The broader impacts of this project include a) addressing the obfuscation challenge at system level leading to more secure hardware, b) supporting graduate education through PhD students, c) research artifacts in the forms of papers, tutorials, lecture slides and open source software, and d) undergraduate mentoring and minority engagement through the University of Maryland (UMD) Advanced Cybersecurity Experience for Students (ACES) program and UMD Clark Doctoral Fellowships. The project repository will be maintained well beyond the duration of the project and for as long as necessary subject to university archiving guidelines and accessible via http://srivastava.umd.edu.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.

使用不可信的代工厂进行集成电路（IC）制造已经引起了诸如IC盗版和生产过剩的关注。逻辑/设计锁定（也称为逻辑混淆）通过结合用于隐藏电路的功能和结构信息的锁定密钥来保护来自不可信的晶圆厂的设计细节。该项目将开发一种系统级方法来设计锁定数字电路，a）如果攻击者使用任何不正确的密钥，则锁定数字电路将变得无用，并且B）对最先进的攻击（如满足性攻击（SAT））具有弹性。该项目将开发几种高级设计优化技术，为在系统级锁定设计细节提供新的可能性。主要的优化目标是腐败的应用程序的任何不正确的关键。这些技术被设计为自动通知门级锁定结构，以实现对SAT攻击的弹性。首先，将在应用级识别一些错误关键输入，然后使用适当的系统级决策来合成架构，以使电路因错误输入密钥而无法正常工作。该项目的更广泛影响包括a）解决系统级混淆挑战，从而实现更安全的硬件，B）通过博士生支持研究生教育，c）以论文、教程、讲座幻灯片和开源软件形式的研究成果，以及d）通过马里兰州大学（UMD）学生高级网络安全体验（ACES）计划和UMD克拉克博士奖学金进行本科生指导和少数民族参与。 项目存储库将在项目持续时间之外进行维护，并且只要符合大学存档指南并可通过http://srivastava.umd.edu.This奖项反映了NSF的法定使命，并且通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

A Combined Logical and Physical Attack on Logic Obfuscation

针对逻辑混淆的逻辑和物理联合攻击

• DOI: 10.1145/3508352.3549349
• 发表时间: 2022
• 期刊: ICCAD IEEEACM International Conference on ComputerAided Design
• 作者: Zuzak, Michael;Liu, Yuntao;McDaniel, Isaac;Srivastava, Ankur
• 通讯作者: Srivastava, Ankur

A Black-Box Sensitization Attack on SAT-Hard Instances in Logic Obfuscation

逻辑混淆中 SAT-Hard 实例的黑盒敏化攻击

• DOI: 10.1109/iccd56317.2022.00043
• 发表时间: 2022
• 期刊: IEEE
• 作者: McDaniel, Isaac;Zuzak, Michael;Srivastava, Ankur
• 通讯作者: Srivastava, Ankur

A Resource Binding Approach to Logic Obfuscation

一种逻辑混淆的资源绑定方法

• DOI: 10.1109/dac18074.2021.9586179
• 发表时间: 2021
• 期刊: ICCAD IEEEACM International Conference on ComputerAided Design
• 作者: Zuzak, Michael;Liu, Yuntao;Srivastava, Ankur
• 通讯作者: Srivastava, Ankur

Hardware IP Protection against Confidentiality Attacks and Evolving Role of CAD Tool

针对机密攻击的硬件 IP 保护以及 CAD 工具的角色演变

• DOI: 10.1145/3508352.3561103
• 发表时间: 2022
• 期刊: ICCAD IEEEACM International Conference on ComputerAided Design
• 作者: Bhunia, Swarup;Das, Amitabh;Fazzari, Saverio;Kammler, Vivian;Kehlet, David;Rajendran, Jeyavijayan;Srivastava, Ankur
• 通讯作者: Srivastava, Ankur

Low Overhead System-Level Obfuscation through Hardware Resource Sharing

• DOI: 10.1109/isqed57927.2023.10129342
• 发表时间: 2023-04
• 期刊: 2023 24th International Symposium on Quality Electronic Design (ISQED)
• 作者: Daniel Xing;Michael Zuzak;Ankur Srivastava