.png){kind=icon}
返回
Functional Analysis Attacks on Logic Locking
.png){kind=icon}
OA
AI
DOI：10.1109/TIFS.2020.2968183.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Logic locking refers to a set of techniques that can protect integrated circuits (ICs) from counterfeiting, piracy and malicious functionality changes by an untrusted foundry. It achieves these goals by introducing new inputs, called key inputs, and additional logic to an IC such that the circuit produces the correct output only when the key inputs are set to specific values. The correct values of the key inputs are kept secret from the untrusted foundry and programmed after manufacturing and before distribution, thus rendering piracy, counterfeiting and malicious design changes infeasible. The security of logic locking relies on the assumption that the untrusted foundry cannot infer the correct values of the key inputs by analysis of the circuit. In this paper, we introduce a new attack on state-of-the-art logic locking schemes which invalidates the above assumption. We propose nalysis attacks on ocking algorithms (abbreviated as FALL attacks). FALL attacks have two stages. Their first stage is dependent on the locking algorithm and involves analyzing structural and functional properties of locked circuits to identify a list of potential locking keys. The second stage is algorithm agnostic and introduces a powerful addition to SAT-based attacks called key confirmation. Key confirmation can identify the correct key from a list of alternatives and works even on circuits that are resilient to the SAT attack. In comparison to past work, the FALL attack is more practical as it can often succeed (90 & x0025; of successful attempts in our experiments) by only analyzing the locked netlist, without requiring oracle access to an unlocked circuit. Our experimental evaluation shows that FALL attacks are able to defeat 65 out of 80 (81 & x0025;) circuits locked using Stripped-Functionality Logic Locking (SFLL-HD).
Keyword:
Hardware
security
logic locking
integrated circuit (IC) counterfeiting
overproduction
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的季节性发生.png)
PedobiologiaOAAI
PedobiologiaIF0
OAAI分享收藏Discovery and genetic characterization of a novel orthonairovirus in Ixodes ricinus ticks from Danube Delta多瑙河三角洲蓖麻硬蜱中一种新的原冠病毒的发现和遗传特征
PREAI
分享收藏Regioselective Functionalization of 2,2'-Bipyridine and Transformations into Unsymmetric Ligands for Coordination Chemistry.2,2 '-联吡啶的区域选择性官能化和转化为不对称配体用于配位化学。
OAAI
OAAI分享收藏
查看更多内容