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

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

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.