推进硬件木马设计的最新技术水平

Syed Kamran Haider; Chenglu Jin; Marten van Dijk

推进硬件木马设计的最新技术水平

密码学与安全 2017-04-14 v2

作者: Syed Kamran Haider , Chenglu Jin , Marten van Dijk

摘要

电子设计自动化(EDA)行业大量重用第三方IP核。这些IP核在设计时易被第三方IP核提供商或设计团队中的恶意内部人员插入硬件木马(HTs)。最先进的研究表明，现有HT检测技术虽声称能检测所有公开可用的HT基准，但仍可被精心设计的新型复杂HT击败。原因在于这些技术认为HT图景仅限于公开已知的HT基准或其他类似(简单)的HT。然而攻击者并不限于这些HT，可能设计新的HT设计原则以绕过这些对策。本文发现了HT的某些关键属性，从而定义了一类指数级大的确定性硬件木马 $H_D$ ，攻击者可以(但不限)设计此类木马。所发现的属性作为HT设计原则，我们基于此设计了一种称为'XOR-LFSR'的新HT，并作为来自类 $H_D$ 的“概念验证”示例予以展示。这些设计原则帮助我们理解攻击者设计HT的巨大方式，并表明现有公开已知的HT基准只是这片巨大图景的冰山一角。因此，这项工作强调，严格的HT检测工具不应仅针对一小部分恒定公开已知HT保证某种(低)漏报率，而应考虑这些新发现的HT设计原则，从而以保证可忽略漏报率的方式检测指数级大的HT类(指数依赖于IP核中线数)。

关键词

硬件木马第三方IP核电子设计自动化木马检测确定性硬件木马 XOR-LFSR 漏报率

引用

@article{arxiv.1605.08413,
  title  = {Advancing the State-of-the-Art in Hardware Trojans Design},
  author = {Syed Kamran Haider and Chenglu Jin and Marten van Dijk},
  journal= {arXiv preprint arXiv:1605.08413},
  year   = {2017}
}

备注

Updated Definition 10. Invited to 60th IEEE International Midwest Symposium on Circuits and Systems

推进硬件木马设计的最新技术水平

摘要

关键词

引用

备注

相关论文