基于重综合的逻辑锁定攻击
密码学与安全
2023-01-12 v1
摘要
逻辑锁定已成为应对诸多硬件安全威胁（如知识产权侵权与过度生产）的有前景方案。由于这些威胁受到越来越多关注，多年来出现了许多针对逻辑锁定的高效专门攻击。然而，攻击者在发起攻击前操纵锁定网表的能力尚未被充分研究。本文引入一种基于重综合的策略，利用商业电子设计自动化（EDA）工具的优势来揭示锁定电路的漏洞。为此，在攻击前步骤中，以系统化方式使用不同综合参数对锁定网表进行重综合，生成大量功能等价但结构不同的锁定电路。随后，在无预言机威胁模型下（假设攻击者仅拥有锁定电路、无可查询的原始电路），将一种著名攻击集体应用于这些生成的网表，从中破译大量密钥位。此外，本文也描述了所提无预言机攻击如何与有预言机引导的攻击相集成。所提方法的可行性在多个基准上得到验证，包括破解近期提出的可证明安全逻辑锁定方法的显著结果，以及以极高准确度破译 CSAW'19 电路的大量密钥位值。
引用
@article{arxiv.2301.04400,
title = {Resynthesis-based Attacks Against Logic Locking},
author = {F. Almeida and L. Aksoy and Q-L. Nguyen and S. Dupuis and M-L. Flottes and S. Pagliarini},
journal= {arXiv preprint arXiv:2301.04400},
year = {2023}
}
备注
8 pages, 7 figures, conference