ObfusLock: An Efficient Obfuscated Locking Framework for Circuit IP Protection†
ObfusLock: An Efficient Obfuscated Locking Framework for Circuit IP Protection†
复制标题
ObfusLock：用于电路 IP 保护的高效混淆锁定框架†
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
H. Zhou
中科院分区：
文献类型：
--
作者：
You Li;Guannan Zhao;Yunqi He;H. Zhou
随着IC供应链的快速发展，电路IP保护已成为半导体行业面临的一个关键的现实问题。解决该问题的一种有前途的技术是逻辑锁定。它将关键输入添加到原始电路中，以便只有授权用户才能获得正确的功能，并修改电路以对其进行混淆以防止结构分析。然而，现有的所有逻辑锁定方法都存在锁定、混淆和效率之间的三难困境，最多只能实现其中两个目标。在这项工作中，我们提出了 ObfusLock，这是第一个同时实现所有三个目标的逻辑锁定方法：锁定安全性、混淆安全性和锁定效率。 ObfusLock基于可靠的数学证明，产生的开销很小（平均<5%），并且已经通过了各种现有攻击的实验测试。
With the rapid evolution of the IC supply chain, circuit IP protection has become a critical realistic issue for the semiconductor industry. One promising technique to resolve the issue is logic locking. It adds key inputs to the original circuit such that only authorized users can get the correct function, and it modifies the circuit to obfuscate it against structural analysis. However, there is a trilemma among locking, obfuscation, and efficiency within all existing logic locking methods that at most two of the objectives can be achieved. In this work, we propose ObfusLock, the first logic locking method that simultaneously achieves all three objectives: locking security, obfuscation safety, and locking efficiency. ObfusLock is based on solid mathematical proofs, incurs small overheads (<5% on average), and has passed experimental tests of various existing attacks.
DOI：
10.1145/3060403.3060469
发表时间：
2017-05
期刊：
Proceedings of the Great Lakes Symposium on VLSI 2017
影响因子：
--
作者：
Yuanqi Shen;H. Zhou
通讯作者：
Yuanqi Shen;H. Zhou
CAS-Lock：一种安全-腐败权衡弹性逻辑锁定方案
DOI：
--
发表时间：
2020
期刊：
IACR transactions on cryptographic hardware and embedded systems
影响因子：
--
作者：
Shakya, Bicky;Xu, Xiaolin;Tehranipoor, Mark;Forte, Domenic
通讯作者：
Forte, Domenic
解决逻辑加密中的三难困境
DOI：
10.1109/iccad45719.2019.8942076
发表时间：
2019
期刊：
International Conference on Computer-Aided Design
影响因子：
--
作者：
Zhou, Hai;Rezaei, Amin;Shen, Yuanqi
通讯作者：
Shen, Yuanqi