Proj CMI Paper Reading: Developing Trustworthy Hardware with Security-Driven Design and Verification

Abstract

背景：1. 集成电路可能需要为了特定程序优化
2. 由于集成电路比较复杂，寄存器传输级Register-Transfer Level (RTL)设计的外包更为常见
we must trust our ICs have been designed and fabricated to specification, i.e., they do not contain any hardware Trojans
本文任务：

1. 研究外包导致的威胁ICAS: 量化IC布局安全性的框架。 效果：现代集成电路留下了许多布局和电路资源来被攻击
2. 以路由为中⼼的防御制造时特洛伊⽊⻢T-TER 封装security-critical interconnects关键的安全互联在带防篡改机制的布局中to prevent foundry-side attackers
3. 审查不受信任的第三⽅ RTL 硬件是否存在Ticking Timebomb木马的动态验证技术 Bomberman
4. 使用Coverage-guided fuzzer做RTL验证

标签：CMI,Developing,RTL,guided,布局,fabricated,Hardware,集成电路,验证
来源： https://www.cnblogs.com/xuesu/p/16336245.html