基于多态开关盒的RTL互连混淆技术用于安全硬件生成
密码学与安全
2024-04-12 v1
摘要
逻辑混淆是一种著名的设计可信解决方案，通过包含密钥门来锁定设计，以保护集成电路（IC）免受未经授权的使用和非法过度生产。这对于在不可信的第三方代工厂制造、面临安全威胁的IC尤其必要。过去，已经提出了几种容易受到布尔可满足性攻击等攻击的逻辑混淆方法。许多这些技术在门级实现，可能涉及昂贵的再综合周期。在本文中，我们提出了一种在寄存器传输级（RTL）使用由多态晶体管构成的开关盒（SB）的互连混淆方案。多态SB可以使用与其基于互补金属氧化物半导体的对应物相同的晶体管数量来设计，因此在面积上没有增加，但其优势在于为攻击者提供了更多的密钥位组合，以正确识别和解锁每个多态SB。还提出了安全感知的高层次综合算法，以增加RTL互连到功能单元的数量，从而影响多个输出，使得当策略性地插入多态SB时，如果密钥位识别不正确，这些输出将被破坏。最后，我们在混淆设计上运行基于SMT（可满足性模理论）的RTL逻辑攻击，以检验其鲁棒性。
引用
@article{arxiv.2404.07426,
title = {RTL Interconnect Obfuscation By Polymorphic Switch Boxes For Secure Hardware Generation},
author = {Haimanti Chakraborty and Ranga Vemuri},
journal= {arXiv preprint arXiv:2404.07426},
year = {2024}
}
备注
Accepted to appear for publication in the ISQED 2024 Conference Proceedings (IEEE Xplore)