arrow
返回

SAIL: Analyzing Structural Artifacts of Logic Locking Using Machine Learning

delete2021-01-01
delete22
PRE
AI
P
Prabuddha Chakraborty *
J
Jonathan Cruz
A
Abdulrahman Alaql
S
Swarup Bhunia
DOI:10.1109/TIFS.2021.3096028delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
Obfuscation or Logic locking (LL) is a technique for protecting hardware intellectual property (IP) blocks against diverse threats, including IP theft, reverse engineering, and malicious modifications. State-of-the-art locking techniques primarily focus on securing a design from unauthorized usage by disabling correct functionality - they often do not directly address hiding design intent through structural transformations. They rely on the synthesis tool to introduce structural changes. We observe that this process is insufficient as the resulting changes in circuit topology are: (1) local and (2) predictable. In this paper, we analyze the structural transformations introduced by LL and introduce a potential attack, called SAIL, that can exploit structural artifacts introduced by LL. SAIL uses machine learning (ML) guided structural recovery that exposes a critical vulnerability in these techniques. Through this attack, we demonstrate that the gate-level structure of a locked design can be retrieved in most parts through a systematic set of steps. The proposed attack is applicable to most forms of logic locking, and significantly more powerful than existing attacks, e.g., SAT-based attacks, since it does not require the availability of golden functional responses (e.g., an unlocked IC). Evaluation on benchmark circuits shows that we can recover an average of about 92%, up to 97%, transformations (Top-10 R-Metric) introduced by logic locking. We show that this attack is scalable, flexible, and versatile. Additionally, to evaluate the SAIL attack resilience of a locked design, we present the SIVA-Metric that is fast in terms of computation speed and does not require any training. We also propose possible mitigation steps for incorporating SAIL resilience into a locked design.
Keyword:
Logic gates
Resilience
Machine learning
Hardware
Interference
Benchmark testing
Training
Hardware obfuscation
logic locking
hardware security
cybersecurity
machine learning
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

IEEE Transactions on Information Forensics and Security 封面图
IEEE Transactions on Information Forensics and Security
IF:
8
论文数:
5.2K
被引数:
2.3W

机构

U
University of Florida
学者数:
4.0W
论文数: 3.1W
被引数: 6.6W
State University System of Florida 封面图
State University System of Florida
学者数:
12.7W
论文数: 10.9W
被引数: 130
引用论文

引用论文

Discovery and genetic characterization of a novel orthonairovirus in Ixodes ricinus ticks from Danube Delta多瑙河三角洲蓖麻硬蜱中一种新的原冠病毒的发现和遗传特征
err2021-03-01
err0
PREAI
errAlexandru Tomazatos; Ronald von Possel; Neele Pekarek; Tobias Holm; Toni Rieger; Heike Baum; Alexandra Bialonski; Iulia Maranda; Imola Erdelyi-Molnár; Marina Spînu; Renke Lühken; Stephanie Jansen; Petra Emmerich; Jonas Schmidt-Chanasit; Daniel Cadar
err分享
err收藏
Immunohistologic Findings in Otosclerosis
err1990-05-01
err0
PREAI
errMartin Schrader; Joerg Poppendieck; Benno Weber
err分享
err收藏
err分享
err收藏
err分享
err收藏
学者 查看更多内容