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

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

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.