用于保护制造供应链中IP的SAT困难循环逻辑混淆
密码学与安全
2020-01-27 v1
摘要
针对循环逻辑混淆的最先进攻击使用配备了若干循环避免子句的满足性求解器。这些循环避免子句在预处理步骤中生成，定义了可在不使电路振荡或具状态的情况下打开或关闭循环的各种密钥组合。本文中，我们表明该预处理步骤必须针对网表中所有循环生成循环避免条件，否则缺失的循环会使求解器陷入无限循环或以错误密钥退出。接着，我们提出若干技术，使循环数量作为插入反馈数量的函数呈指数增长。我们进一步说明，当反馈数量增加时，攻击的预处理步骤在复杂度和运行时间上面临指数增长，阻止其在合理时间内正确构成循环避免子句。另一方面，若预处理未完成，由满足性求解器构造的攻击将卡住或以错误密钥退出。因此，当采用本文所提条件下的循环混淆时，将对基于满足性求解器的攻击构成指数困难问题。
引用
@article{arxiv.2001.08999,
title = {SAT-hard Cyclic Logic Obfuscation for Protecting the IP in the Manufacturing Supply Chain},
author = {Shervin Roshanisefat and Hadi Mardani Kamali and Houman Homayoun and Avesta Sasan},
journal= {arXiv preprint arXiv:2001.08999},
year = {2020}
}
备注
arXiv admin note: substantial text overlap with arXiv:1804.09162