逻辑锁定对机密性的影响：一项自动化评估

逻辑锁定通过引入密钥控制门来模糊原始蓝图，从而在不可信代工厂中保护硬件设计。虽然这种方法能保护集成电路在制造过程中免受恶意篡改，但其对运行时数据机密性的影响一直被忽视。在本研究中，我们采用路径敏化来正式检验逻辑锁定对机密性的影响。通过在开源密码学基准上应用三种代表性的逻辑锁定机制，我们利用自动测试模式生成框架来评估锁定对密码学加密密钥和敏感数据信号的影响。我们的分析揭示，当使用不正确的逻辑锁定密钥时，逻辑锁定可能无意中导致敏感数据泄露。我们表明，单个恶意逻辑锁定密钥可以暴露超过 70% 的加密密钥。如果攻击者获得了对其他输入的控制权，整个加密密钥都可能被泄露。这项研究揭示了逻辑锁定中的一个重大安全漏洞，并强调了进行超越密钥恢复攻击的全面安全评估的必要性。