逻辑锁定的建模技术
密码学与安全
2020-09-23 v1
摘要
逻辑锁定是一种防止知识产权（IP）盗版的方法。然而，在合理的攻击模型下，基于 SAT 的方法已被证明在获取密钥方面非常强大。作为回应，许多锁定技术被开发出来以专门抵抗这种攻击形式。在本文中，我们展示了两种 SAT 建模技术，可将发现正确密钥的速度提升多个数量级。具体而言，我们考虑了松弛编码和对称性破缺。为展示其影响，我们对最先进的逻辑锁定技术 Full-Lock 进行建模与攻击。我们表明，先前在 15 天运行时间内无法破解的电路可在数秒内求解。因此，在评估任何给定锁定的强度时，必须考虑这些建模技术。为弥补所考虑锁定技术中的这一漏洞，我们展示了一种扩展版本，即逻辑增强型 Banyan 锁定，它对我们提出的建模技术具有抵抗能力。
引用
@article{arxiv.2009.10131,
title = {Modeling Techniques for Logic Locking},
author = {Joseph Sweeney and Marijn J. H. Heule and Lawrence Pileggi},
journal= {arXiv preprint arXiv:2009.10131},
year = {2020}
}