一种面向安全逻辑锁定的新型拓扑引导攻击及其对策
密码学与安全
2020-10-12 v2
摘要
在当前水平的半导体集成流程中，集成电路（IC）设计与制造的外包由于不可信实体的存在而带来了各种安全威胁，例如 IC 的过量生产、不合规/淘汰 IC 的销售以及知识产权（IP）的盗版。因此，逻辑锁定（logic locking）作为值得信赖的设计技术之一脱颖而出。不幸的是，在 [47] 中发表的开创性工作之后，这些锁定技术现在倾向于实现完全的布尔可满足性（SAT）弹性。在本文中，我们提出了一种新颖的无预言机攻击，该攻击基于锁定网表的拓扑分析，即使其具有 SAT 弹性。该攻击依赖于识别并构造具有假设密钥的单元函数，以在整个网表中搜索以找到其副本。所提出的图搜索算法高效地找到网表中的重复函数，使其成为一种自引用攻击。该提出的攻击极其高效，能在几分钟内确定密钥。我们还提出了一种对策，使电路能够抵御这种拓扑引导攻击，从而推进安全逻辑锁定技术。
引用
@article{arxiv.2006.05930,
title = {A Novel Topology-Guided Attack and Its Countermeasure Towards Secure Logic Locking},
author = {Yuqiao Zhang and Ayush Jain and Pinchen Cui and Ziqi Zhou and Ujjwal Guin},
journal= {arXiv preprint arXiv:2006.05930},
year = {2020}
}