首页> 外文会议>International symposium on progress in VLSI design and test >An improved AES Hardware Trojan benchmark to validate Trojan detection schemes in an ASIC design flow
【24h】

An improved AES Hardware Trojan benchmark to validate Trojan detection schemes in an ASIC design flow

机译:一种改进的AES硬件特洛伊木马基准测试在ASIC设计流程中验证特洛伊木马检测方案

获取原文

摘要

The semiconductor design industry has globalized and it is economical for the chip makers to get services from the different geographies in design, manufacturing and testing. Globalization raises the question of trust in an integrated circuit. It is for the every chip maker to ensure there is no malicious inclusion in the design, which is referred as Hardware Trojans. Malicious inclusion can occur by an in-house adversary design engineer, Intellectual Property (IP) core supplied from the third party vendor or at untrusted manufacturing foundry. Several researchers have proposed hardware Trojan detection schemes in the recent years. Trust-Hub provides Trojan benchmark circuits to verify the strength of the Trojan detection techniques. In this work, our focus is on Advanced Encryption Standard (AES) Trojan benchmarks, which is most vulnerable block cipher for Trojan attacks. All 21 Benchmarks available in Trusthub are analyzed against standard coverage driven verification practices, synthesis, DFT insertion and ATPG simulations. The analysis reveals that 19 AES benchmarks are weak and Trojan inclusion can be detected using standard procedures used in ASIC design flow. Based on the weakness observed design modification is proposed to improve the quality of Trojan benchmarks. The strength of proposed Trojan benchmarks is better than existing circuits and their original features are also preserved after design modification.
机译:半导体设计行业拥有全球化,芯片制造商经济,从设计,制造和测试中的不同地域获得服务。全球化提出了在集成电路中的信任问题。它是每种芯片制造商,以确保设计中没有恶意包含,这被称为硬件特洛伊木马。恶意夹杂物可以由内部对手设计工程师,从第三方供应商提供的知识产权(IP)核心或不受信任的制造代工厂发生。几位研究人员近年来提出了五金木马检测方案。 Trust-Hub提供特洛伊木马基准电路,以验证特洛伊木马检测技术的强度。在这项工作中,我们的重点是在高级加密标准(AES)特洛伊基金机上,这是Tyr Jan攻击最脆弱的块密码。在Trusthub中提供的所有21个基准测试可根据标准覆盖驱动的验证实践,合成,DFT插入和ATPG模拟分析。分析表明,19 AES基准是薄弱的,可以使用ASIC设计流程中使用的标准程序来检测弱和木马夹杂物。基于弱点观察到的设计修改,提出了提高特洛伊木马基准的质量。提出的特洛伊木马基准的实力比现有电路更好,并且在设计修改后也保留了原始功能。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号