TC:Small:EDICT: Evaluation and Design of IC's for Trustworthiness

TC:Small:EDICT：IC 的可信度评估和设计

• 批准号: 1018937
• 负责人: Sandeep Gupta
• 金额: $ 28.98万
• 依托单位: University of Southern California
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2010
• 资助国家: 美国
• 起止时间: 2010-09-15 至 2013-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1018937&HistoricalAwards=false
• 关键词: TC; Small; EDICT; Evaluation; Design

High cost differentials are causing many steps of IC manufacturing to increasingly move overseas. This project considers the problem of evaluating trustworthiness of digital ICs fabricated by untrusted vendors who may insert hardware Trojans. The proposed EDICT framework (Evaluation and Design of IC's for Trustworthiness) tackles two main challenges, namely the unavailability of a gold-standard chip combined with high process variations, and the fact that Trojans are introduced by intelligent adversaries. EDICT exploits the key difference between the impact on circuit parameters of Trojans and process variations - universal shift vs. random - to detect Trojans, including those causing deviations smaller than process variations. In particular, this project is developing new techniques to identify effective measurements - sequences of values applied at IC inputs and parameters measured - for evaluation of chip's trustworthiness. This project represents a radical extension of techniques for generating vectors for high-volume-manufacturing testing by focusing on new targets that capture all possible Trojans, developing the first suite of techniques to characterize and identify Trojans in a non-destructive manner, and developing the first methods to identify additional unauthorized functionality. By providing the technical infrastructure to evaluate trustworthiness of ICs, this project enables defense and civilian sectors to exploit global semiconductor industry at reduced risk. Trustworthy digital systems bring many benefits to society. They improve many essential services - health, security, education, etc. - and bring lower costs. Finally, this project trains graduate students in developing, and defense and industry experts in using, new approaches and tools for evaluating IC trustworthiness.

高成本差异导致IC制造的许多步骤越来越多地转移到海外。这个项目考虑的问题，评估可信度的数字集成电路制造的不可信的供应商谁可能插入硬件木马。拟议的EDICT框架（评估和设计的IC的可信度）解决了两个主要的挑战，即不可用的黄金标准芯片与高工艺变化相结合，以及木马程序是由智能对手引入的事实。EDICT利用特洛伊木马对电路参数的影响与过程变化之间的关键差异-通用移位与随机-来检测特洛伊木马，包括那些导致偏差小于过程变化的木马。特别是，该项目正在开发新技术，以确定有效的测量-在IC输入和测量参数应用的值序列-用于评估芯片的可信度。该项目代表了大批量生产测试矢量生成技术的根本扩展，重点是捕获所有可能的特洛伊木马的新目标，开发第一套以非破坏性方式表征和识别特洛伊木马的技术，并开发第一种识别其他未经授权功能的方法。 通过提供技术基础设施来评估集成电路的可信度，该项目使国防和民用部门能够以较低的风险利用全球半导体行业。值得信赖的数字系统为社会带来许多好处。它们改善了许多基本服务-保健、安全、教育等-并降低了成本。最后，这个项目培训研究生开发，国防和工业专家使用新的方法和工具来评估IC的可信度。