首页> 外文会议>2016 IEEE Asian Hardware-Oriented Security and Trust >Test generation for combinational hardware Trojans
【24h】

Test generation for combinational hardware Trojans

机译:组合硬件木马的测试生成

获取原文
获取原文并翻译 | 示例

摘要

Hardware Trojans become a security threat to the integrated circuit supply chain. Detecting hardware Trojans is difficult as such circuits are stealthy in nature and triggered only under rare conditions. Traditional ATPG patterns are not useful for Trojan activation, and in general random patterns have to be applied for Trojan detection. In this paper we will first analyze how combinational rare conditions can be constructed in a systemic way, so that a Trojan circuit with a desired triggering probability can be synthesized accordingly. A watch list of Trojan candidates can be constructed according to the analysis. A set of test cubes can be generated from the candidates, and experimental results that the number of test cubes is restricted in most cases. The number of test vectors can be further reduced when physical layout information is taken into account. In addition, we can augment the test cubes with random assignment of X-bits to deal with addition trigger signals other than the target events. The results of this study should be helpful to the development of Trojan detection methods.
机译:硬件木马已成为集成电路供应链的安全威胁。检测硬件木马很困难,因为此类电路本质上是隐身的,并且仅在极少数情况下才触发。传统的ATPG模式对于木马激活没有用,并且通常必须将随机模式应用于木马检测。在本文中,我们将首先分析如何以系统的方式构建组合稀有条件,以便可以相应地合成具有所需触发概率的特洛伊木马电路。可以根据分析构建特洛伊木马候选者的监视列表。可以从候选对象生成一组测试多维数据集,并且在大多数情况下,测试多维数据集的数量受到限制的实验结果。当考虑物理布局信息时,可以进一步减少测试向量的数量。另外,我们可以通过随机分配X位来扩展测试多维数据集,以处理目标事件以外的附加触发信号。这项研究的结果应有助于木马检测方法的发展。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号