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

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

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.