SaTC: TTP: Medium: Collaborative: RESULTS: Reverse Engineering Solutions on Ubiquitous Logic for Trustworthiness and Security

SaTC：TTP：媒介：协作：结果：针对可信性和安全性的普适逻辑的逆向工程解决方案

• 批准号: 1812071
• 负责人: Shuo Wang
• 金额: $ 45.22万
• 依托单位: University of Florida
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2017
• 资助国家: 美国
• 起止时间: 2017-10-13 至 2022-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1812071&HistoricalAwards=false
• 关键词: SaTC; TTP; Medium; Collaborative; RESULTS

Due to the globalization of the integrated circuit (IC) supply chain, the reduction of manufacturing costs and the need for shorter time to market, commercial-off-the-shelf ICs are now prevalent in modern electronic systems. However, the wide usage of such components breeds major security and trust concerns. Validating the security and trustworthiness of these components is extremely challenging since the end user does not have access to the design details. Furthermore, the cost to patch hardware level design flaws and/or hardware Trojans always costs more than patching eventual software vulnerabilities.This project develops an automated trustworthiness and security analysis framework to help end-users address their concerns by reconstructing the behavioral description of commercial-off-the-shelf ICs and analyzing such description for functionality identification and detection of design flaws and/or potentially inserted hardware Trojans and backdoors. This tool suite offers an all-in-one technology to allow engineers to quickly go from physical circuit structure/netlists to behavior/specification and validate the security and trustworthiness of any digital ICs, through data-path and state register identification, state transition graph construction and decomposition, data flow recovery, high-level behavioral design reconstruction, and whitelist- and blacklist-based functionality determination and hardware Trojan/backdoor detection. As a Transition to Practice (TTP) project, the research team is also closely collaborating with an industrial partner in developing, integrating, and validating the tool suite, so that a holistic and practice-oriented hardware security tool suite is provided for protecting the IC supply chain.

由于集成电路（IC）供应链的全球化，制造成本的降低以及对更短上市时间的需求，商业现成的IC现在在现代电子系统中普遍存在。然而，这些组件的广泛使用产生了主要的安全和信任问题。验证这些组件的安全性和可信性极具挑战性，因为最终用户无法访问设计细节。此外，修补硬件关卡设计缺陷和/或硬件木马的成本总是高于修补最终的软件漏洞。该项目开发了一个自动化的可信度和安全性分析框架，通过重建商业现成ic的行为描述，并分析功能识别和检测设计缺陷和/或潜在插入的硬件木马和后门，帮助最终用户解决他们的问题。该工具套件提供了一种一体化技术，允许工程师通过数据路径和状态寄存器识别、状态转换图构建和分解、数据流恢复、高级行为设计重建、基于白名单和黑名单的功能确定和硬件木马/后门检测，快速从物理电路结构/网络列表过渡到行为/规范，并验证任何数字ic的安全性和可信度。作为向实践过渡（TTP）项目，研究团队还与工业合作伙伴密切合作开发，集成和验证工具套件，以便为保护IC供应链提供整体和面向实践的硬件安全工具套件。

项目成果

WaLo: Security Primitive Generator for RT-Level Logic Locking and Watermarking

• DOI: 10.1109/asianhost51057.2020.9358262
• 发表时间: 2020-12
• 期刊: 2020 Asian Hardware Oriented Security and Trust Symposium (AsianHOST)
• 作者: Jun Kuai;Jiaji He;Haocheng Ma;Yiqiang Zhao;Yumin Hou;Yier Jin

NETA: when IP fails, secrets leak

NETA：当 IP 失败时，秘密就会泄露

• DOI: 10.1145/3287624.3288739
• 发表时间: 2019
• 期刊: Proceedings of the 24th Asia and South Pacific Design Automation Conference
• 作者: Meade, Travis;Portillo, Jason;Zhang, Shaojie;Jin, Yier
• 通讯作者: Jin, Yier

The Old Frontier of Reverse Engineering: Netlist Partitioning

逆向工程的旧前沿：网表分区

• DOI: 10.1007/s41635-018-0043-4
• 发表时间: 2018
• 期刊: Journal of Hardware and Systems Security
• 作者: Meade, Travis;Shamsi, Kaveh;Le, Thao;Di, Jia;Zhang, Shaojie;Jin, Yier
• 通讯作者: Jin, Yier

Hardware Trojan Detection and Functionality Determination for Soft IPs

软 IP 的硬件木马检测和功能确定

• DOI: 10.1109/ivsw.2018.8494891
• 发表时间: 2018
• 期刊: International Verification and Security Workshop (IVSW
• 作者: Le, Thao;Weaver, Lucas;Di, Jia;Zhang, Shaojie;Jin, Yier
• 通讯作者: Jin, Yier

RERTL: Finite State Transducer Logic Recovery at Register Transfer Level

RERTL：寄存器传输级的有限状态转换器逻辑恢复

• DOI: 10.1109/asianhost47458.2019.9006699
• 发表时间: 2019
• 期刊: 2019 Asian Hardware Oriented Security and Trust Symposium (AsianHOST
• 作者: Portillo, Jason;Meade, Travis;Hacker, John;Zhang, Shaojie;Jin, Yier
• 通讯作者: Jin, Yier