What to Lock?: Functional and Parametric Locking
What to Lock?: Functional and Parametric Locking
复制标题
锁定什么？：功能锁定和参数锁定
DOI：
10.1145/3060403.3060492
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Jeyavijayan Rajendran
中科院分区：
文献类型：
--
作者：
Muhammad Yasin;A. Sengupta;Benjamin Carrión Schäfer;Y. Makris;O. Sinanoglu;Jeyavijayan Rajendran
逻辑锁定是一种知识产权（IP）保护技术，可防止不受信任的代工厂或最终用户进行IP盗版、逆向工程和过度构建攻击。现有的逻辑锁定技术都是基于锁定功能;设计/芯片是不起作用的，除非秘密密钥已经加载。现有的技术容易受到各种攻击，如敏化，关键修剪，和信号偏斜分析启用删除攻击。在本文中，我们提出了一个顽强的和无痕的逻辑锁定技术，TTlock，锁定功能，并证明经得起所有已知的攻击，如SAT为基础的，敏化，删除等TTLock保护一个秘密的输入模式，逻辑锥的输出翻转该模式，只有当正确的密钥被应用时，这种翻转才被恢复。实验结果证实了我们的理论预期，即对TTLock发起的攻击的计算复杂度随着密钥大小的增加而呈指数级增长，而面积、功率和延迟开销仅线性增加。在本文中，我们还提出了“参数锁定”，其中设计/芯片按照其规格（性能，功耗，可靠性等）进行操作。只有在密钥就位的情况下，并且不正确的密钥降低其参数特性。我们讨论了参数锁定的目标和挑战。
Logic locking is an intellectual property (IP) protection technique that prevents IP piracy, reverse engineering and overbuilding attacks by the untrusted foundry or end-users. Existing logic locking techniques are all based on locking the functionality; the design/chip is nonfunctional unless the secret key has been loaded. Existing techniques are vulnerable to various attacks, such as sensitization, key-pruning, and signal skew analysis enabled removal attacks. In this paper, we propose a tenacious and traceless logic locking technique, TTlock, that locks functionality and provably withstands all known attacks, such as SAT-based, sensitization, removal, etc. TTLock protects a secret input pattern; the output of a logic cone is flipped for that pattern, where this flip is restored only when the correct key is applied. Experimental results confirm our theoretical expectations that the computational complexity of attacks launched on TTLock grows exponentially with increasing key-size, while the area, power, and delay overhead increases only linearly. In this paper, we also coin ``parametric locking," where the design/chip behaves as per its specifications (performance, power, reliability, etc.) only with the secret key in place, and an incorrect key downgrades its parametric characteristics. We discuss objectives and challenges in parametric locking.