量化逻辑锁定方法的有效性
Quantifying the Efficacy of Logic Locking Methods
摘要：
集成电路的外包制造增加了知识产权盗窃的风险。作为响应，已经开发了逻辑锁定技术，用于通过向电路添加可编程元件来保护设计。这些技术在开销和对各种攻击的抵抗力方面都有很大的不同，这使得设计人员无法辨别它们的功效。为了克服这个关键的障碍，采用逻辑锁定，我们提出了两个指标，关键腐败和最小腐败，捕获锁定在不同的攻击场景下的目标。我们开发了一个通用锁定电路近似这些指标的流程，并评估几种锁定技术。
英文摘要：
The outsourced manufacturing of integrated circuits has increased the risk of intellectual property theft. In response, logic locking techniques have been developed for protecting designs by adding programmable elements to the circuit. These techniques differ significantly in both overhead and resistance to various attacks, leaving designers unable to discern their efficacy. To overcome this critical impediment for the adoption of logic locking, we propose two metrics, key corruption and minimum corruption, that capture the goals of locking under different attack scenarios. We develop a flow for approximating these metrics on generic locked circuits and evaluate several locking techniques.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
