利用稀有性降低的可信设计
密码学与安全
2024-04-18 v2 硬件体系结构
计算机科学中的逻辑
摘要
日益增长的设计复杂性和缩短的上市时间促使制造商将片上系统(SoC)设计流程的部分环节外包给第三方供应商。这为攻击者提供了通过构建由稀有事件(如稀有信号、状态和转换)组成的隐蔽触发器来引入硬件木马的机会。存在有前景的基于测试生成的硬件木马检测技术,这些技术依赖于稀有事件的激活。在本文中,我们研究了将稀有性降低作为一种可信设计解决方案,以增加攻击者隐藏木马的难度(使木马检测更容易)。具体而言,我们分析了减少潜在稀有触发案例的不同途径,包括设计多样性和面积优化。虽然对面积、功耗、能量和性能之间的关系已有良好理解,但本研究提供了对面积与安全性之间依赖关系的更深入洞察。我们的实验评估表明,面积减少导致稀有性降低。它还揭示了降低稀有性可加快木马检测速度并提高木马检测方法的覆盖率。
引用
@article{arxiv.2302.08984,
title = {Design for Trust utilizing Rareness Reduction},
author = {Aruna Jayasena and Prabhat Mishra},
journal= {arXiv preprint arXiv:2302.08984},
year = {2024}
}
备注
37th International Conference on VLSI Design, 2024