返回
SAIL: Analyzing Structural Artifacts of Logic Locking Using Machine Learning
DOI:10.1109/TIFS.2021.3096028.png)
摘要
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总结
对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
8
论文数:
5.2K
被引数:
2.3W
机构
引用论文
Ecological and faunal studies on Coleóptera in agricultural land I. Seasonal occurrence of Carabidae in the grassy edge of a pasture农业用地中鞘翅目的生态和动物区系研究I.牧场草丛边缘的Carabidae的季节性发生
Pedobiologia
IF0
Discovery and genetic characterization of a novel orthonairovirus in Ixodes ricinus ticks from Danube Delta多瑙河三角洲蓖麻硬蜱中一种新的原冠病毒的发现和遗传特征
Nutrient levels in malformed and healthy tissues of mango (Mangifera indica L.)芒果 (Mangifera indica L.) 畸形和健康组织中的营养水平
Transition-Metal-Catalyzed Alkenyl sp2 C–H Activation: A Short Account过渡金属催化的烯基sp2 c-h活化: 简短说明
Synthesis
IF0


