Robust and Attack Resilient Logic Locking with a High Application-Level Impact
Robust and Attack Resilient Logic Locking with a High Application-Level Impact
复制标题
具有高应用程序级影响的稳健且抗攻击的逻辑锁定
DOI：
--
复制
发表时间：
2021
影响因子：
2.2
通讯作者：
Ankur Srivastava
中科院分区：
文献类型：
--
作者：
Yuntao Liu;Michael Zuzak;Yang Xie;Abhishek Chakraborty;Ankur Srivastava
逻辑锁定是一种硬件安全技术，旨在保护知识产权免受IC供应链中的安全威胁，特别是那些由不可信的制造设施构成的威胁。这样的技术在集成电路（IC）内结合了附加的锁定电路，当用户提供不正确的验证密钥时，附加的锁定电路引起不正确的数字功能。由不正确的密钥引起的错误量称为
有效性
锁定技术。被称为“SAT攻击”的攻击家族提供了一个强大的数学公式来找到锁定电路的正确密钥。实现高
SAT恢复力
(i.e., SAT攻击的复杂性），当密钥不正确时，许多常规逻辑锁定方案不能将足够的错误注入到电路中。例如，在SARLock和Anti-SAT的情况下，通常很少（或只有一个）输入最小项会在电路输出端引起任何错误。最先进的
S
跳闸功能逻辑锁定（SFLL）技术提供了广泛的配置，其引入了SAT弹性和有效性之间的折衷。在这项工作中，我们证明了这样的权衡是普遍的所有逻辑锁定技术。为了在不影响SAT弹性的情况下实现高效率的锁定，我们提出了一种新的逻辑锁定方案，称为强反SAT（SAS）。除了SAT攻击之外，基于移除的攻击是另一种针对逻辑锁定的流行攻击形式，其中攻击者试图识别并移除锁定结构。在SAS的基础上，我们还提出了鲁棒SAS（RSAS），它具有抵抗删除攻击的能力，并保持相同的性能。
SAT恢复力
和
有效性
作为SAS。SAS和RSAS与现有技术相比具有以下显著改进。(1)我们证明了
SAT弹性
SAS和RSAS对抗SAT攻击的能力不会因
有效性
. (2)在以前的工作，只集中在电路级锁定的影响，我们集成SAS锁定模块到80386处理器，并显示SAS具有很高的应用程序级的影响。(3)我们的实验表明，SAS和RSAS表现出更好的SAT弹性比SFLL和他们的有效性是类似的SFLL。
Logic locking is a hardware security technique aimed at protecting intellectual property against security threats in the IC supply chain, especially those posed by untrusted fabrication facilities. Such techniques incorporate additional locking circuitry within an integrated circuit (IC) that induces incorrect digital functionality when an incorrect verification key is provided by a user. The amount of error induced by an incorrect key is known as the
effectiveness
of the locking technique. A family of attacks known as “SAT attacks” provide a strong mathematical formulation to find the correct key of locked circuits. To achieve high
SAT resilience
(i.e., complexity of SAT attacks), many conventional logic locking schemes fail to inject sufficient error into the circuit when the key is incorrect. For example, in the case of SARLock and Anti-SAT, there are usually very few (or only one) input minterms that cause any error at the circuit output. The state-of-the-art
s
tripped functionality logic locking (SFLL) technique provides a wide spectrum of configurations that introduced a tradeoff between SAT resilience and effectiveness. In this work, we prove that such a tradeoff is universal among all logic locking techniques. To attain high effectiveness of locking without compromising SAT resilience, we propose a novel logic locking scheme, called Strong Anti-SAT (SAS). In addition to SAT attacks, removal-based attacks are another popular kind of attack formulation against logic locking where the attacker tries to identify and remove the locking structure. Based on SAS, we also propose Robust SAS (RSAS) that is resilient to removal attacks and maintains the same
SAT resilience
and
effectiveness
as SAS. SAS and RSAS have the following significant improvements over existing techniques. (1) We prove that the
SAT resilience
of SAS and RSAS against SAT attack is not compromised by increase in
effectiveness
. (2) In contrast to prior work that focused solely on the circuit-level locking impact, we integrate SAS-locked modules into an 80386 processor and show that SAS has a high application-level impact. (3) Our experiments show that SAS and RSAS exhibit better SAT resilience than SFLL and their effectiveness is similar to SFLL.
登录
查看更多内容
Full-Lock：使用完全可配置逻辑和路由块进行混淆电路的 SAT 实例的硬分配
DOI：
--
发表时间：
2019
期刊：
DAC 2019
影响因子：
--
作者：
Kamali, Hadi Mardani;Zamiri Azar, Kimia;Homayoun, Houman;Sasan, Avesta
通讯作者：
Sasan, Avesta
DOI：
--
发表时间：
2019
期刊：
IEEE Asian Hardware Oriented Security and Trust Symposium
影响因子：
--
作者：
Alaql, Abdulrahman;Forte, Domenic;Bhunia, Swarup
通讯作者：
Bhunia, Swarup
DOI：
10.1145/3060403.3060469
发表时间：
2017-05
期刊：
Proceedings of the Great Lakes Symposium on VLSI 2017
影响因子：
--
作者：
Yuanqi Shen;H. Zhou
通讯作者：
Yuanqi Shen;H. Zhou
闭锁电路的灵敏度分析
DOI：
10.29007/7tpd
发表时间：
2020
期刊：
EPiC Series in Computing
影响因子：
--
作者：
Sweeney, Joseph;Heule, Marijn J.;Pileggi, Lawrence
通讯作者：
Pileggi, Lawrence
DOI：
10.1109/tcad.2019.2944586
发表时间：
2020-10-01
影响因子：
2.9
作者：
Chakraborty, Abhishek;Jayasankaran, Nithyashankari Gummidipoondi;Zuzak, Michael
通讯作者：
Zuzak, Michael