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