K-Gate Lock：使用输入编码的多密钥逻辑锁定以抵御Oracle引导攻击

自从设计公司与制造代工厂分离以来，逻辑锁定技术应运而生以防止集成电路的盗版和过度生产。尽管已有大量研究使用单个全局密钥来锁定电路，但即使是最复杂的单密钥锁定方法也被证明容易受到基于SAT的oracle引导攻击，这种攻击可以利用从市场上购买的激活芯片和从不可信代工厂泄露的锁定网表提取正确密钥。为了应对这一挑战，我们提出、实现并评估了一种新颖的逻辑锁定方法，称为K-Gate Lock，它使用多个密钥对输入模式进行编码，这些密钥在不同操作时间应用于一组密钥输入。我们的综合实验结果证实，使用多个密钥将使电路能够抵御oracle引导攻击，并将攻击者的努力增加到指数级耗时的暴力搜索。K-Gate Lock具有合理的功耗和性能开销，使其成为现实世界硬件知识产权保护的实用解决方案。