论文标题
硬件安全边界的基准测试:逻辑锁定的课程
Benchmarking at the Frontier of Hardware Security: Lessons from Logic Locking
论文作者
论文摘要
集成电路(IC)是所有计算系统的基础。它们包括高价值硬件知识产权(IP),它们有盗版,反向工程和修改的风险,同时贯穿了地理分布的IC供应链。在硬件安全的边界上是各种对信任的设计技术,这些技术声称可以保护设计免受整个设计流的不受信任实体的侵害。逻辑锁定是一种有望保护IC制造中威胁的技术。在这项工作中,我们对文献中的逻辑锁定技术进行了批判性审查,并揭示了几个缺点。我们从其他网络安全竞赛中获得了灵感,我们设计了一个社区主导的基准测试练习来解决评估缺陷。在反思这一过程时,我们对评估逻辑锁定的缺陷进行了新的启示,并揭示了重要的未来方向。所学的经验教训可以指导硬件安全其他领域的未来努力。
Integrated circuits (ICs) are the foundation of all computing systems. They comprise high-value hardware intellectual property (IP) that are at risk of piracy, reverse-engineering, and modifications while making their way through the geographically-distributed IC supply chain. On the frontier of hardware security are various design-for-trust techniques that claim to protect designs from untrusted entities across the design flow. Logic locking is one technique that promises protection from the gamut of threats in IC manufacturing. In this work, we perform a critical review of logic locking techniques in the literature, and expose several shortcomings. Taking inspiration from other cybersecurity competitions, we devise a community-led benchmarking exercise to address the evaluation deficiencies. In reflecting on this process, we shed new light on deficiencies in evaluation of logic locking and reveal important future directions. The lessons learned can guide future endeavors in other areas of hardware security.