InterLock：一种逻辑与布线互相关联的锁定技术
密码学与安全
2020-09-07 v1
摘要
在本文中，我们提出一种规范的剪枝与SAT（CP&SAT）攻击，用于破解最先进的基于布线的混淆技术。在CP&SAT攻击中，我们首先基于适用于详细布线约束的高效SAT编码机制对密钥可编程布线块（keyRB）进行编码，然后利用有界变量添加（BVA）算法对对应于keyRB的CNF进行高效重编码与化简。在CP&SAT攻击中，此操作在将电路提交给SAT攻击之前完成。我们说明这种编码与基于BVA的预处理显著减小了对应于基于布线的混淆电路的CNF规模，结果我们对破解现有最先进基于布线的混淆技术观察到100%的成功率。此外，我们提出一种新的逻辑与布线互相关联的锁定技术，简称InterLock，作为缓解CP&SAT攻击的对策。在InterLock中，除隐藏连接关系外，所选时序路径中的部分逻辑（门）也在keyRB中实现。我们说明当逻辑门与keyRB缠绕时，BVA作为预处理步骤无法提供任何优势。我们的实验结果表明，通过使用InterLock，仅需三个88或两个16x16的keyRB（与实际逻辑门缠绕），即可保证对现有攻击以及我们新提出的CP&SAT攻击的抵御能力，同时即便对于中等规模基准电路，平均延迟/面积开销也低于10%。
引用
@article{arxiv.2009.02206,
title = {InterLock: An Intercorrelated Logic and Routing Locking},
author = {Hadi Mardani Kamali and Kimia Zamiri Azar and Houman Homayoun and Avesta Sasan},
journal= {arXiv preprint arXiv:2009.02206},
year = {2020}
}