CAREER: Re-thinking Electronic Design Automation Algorithms for Secure Outsourced Integrated Circuit Fabrication
职业:重新思考安全外包集成电路制造的电子设计自动化算法
基本信息
- 批准号:1553419
- 负责人:
- 金额:$ 49.74万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:2016
- 资助国家:美国
- 起止时间:2016-06-01 至 2023-05-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Semiconductor chip fabrication is being increasingly outsourced to off-shore foundries. Outsourced fabrication reduces cost by leveraging economies-of-scale and ensures access to the most advanced manufacturing technology, but comes at the expense of trust. How can the chip designer trust that the off-shore (untrusted) foundry does not pirate its intellectual property (IP), or maliciously modify the integrated circuit (IC) by inserting a hardware Trojan in the chip? This project develops transformative new solutions for trustworthy chip fabrication at off-shore foundries. Traditionally, chips have been designed with metrics like performance and power consumption in mind; this project aims to introduce and account for security as a new and equally important metric in each step of the chip design flow. The outcome of the proposed research is a new set of algorithms for designing chips that are not only high performance and low power, but also secure against IP theft or hardware Trojan insertion by an untrusted, off-shore foundry. The project ensures that defense agencies and commercial chip design companies in the United States are able to access top-end foundries anywhere in the world without having to compromise trust, thus contributing to the US economy and enhancing national security. Furthermore, the project trains a new generation of security professionals by introducing students to fundamental security concepts at an early stage, and encourages greater participation of under-represented minorities in this critical area.The research builds upon two promising (and related) techniques that have been proposed in literature to enable secure outsourced IC fabrication, logic encryption and split fabrication. Both approaches are premised on the same basic idea, i.e., to provide the untrusted foundry (the attacker) with only partial knowledge of the design so as to limit the attacker?s ability to pirate or modify the design. However, existing approaches for logic encryption and split fabrication largely retrofit these techniques as extra steps into the conventional chip design flow; that is, they treat security as an afterthought. This project aims to fundamentally re-think automated chip design algorithms (referred to as EDA algorithms) so as to provide formal security guarantees and to provide maximum security while optimizing for chip performance and power. Specifically, the research develops new security-aware algorithms for three critical steps in chip design: logic synthesis (the chip 'compiler'); (ii) logic partitioning (breaking up a circuit into smaller components) and (iii) placement (determining the physical location of each component on the chip surface). These are integrated into a new end-to-end secure EDA flow for trustworthy off-shore chip fabrication.
半导体芯片制造越来越多地外包给离岸代工厂。外包制造通过利用规模经济降低了成本,并确保获得最先进的制造技术,但代价是信任。芯片设计师如何才能相信离岸(不可信)代工厂不会侵犯其知识产权(IP),或者通过在芯片中插入硬件木马来恶意修改集成电路(IC)? 该项目为离岸代工厂的可靠芯片制造开发了变革性的新解决方案。传统上,芯片的设计考虑到了性能和功耗等指标;该项目旨在将安全性作为芯片设计流程的每个步骤中一个新的同等重要的指标。拟议研究的结果是一套新的算法,用于设计不仅高性能和低功耗,而且还可以防止IP盗窃或不受信任的离岸代工厂插入硬件木马的芯片。该项目确保美国的国防机构和商业芯片设计公司能够在不损害信任的情况下访问世界任何地方的高端代工厂,从而为美国经济做出贡献并增强国家安全。此外,该项目通过在早期阶段向学生介绍基本的安全概念来培养新一代的安全专业人员,并鼓励代表性不足的少数民族更多地参与这一关键领域。该研究建立在文献中提出的两种有前途的(和相关的)技术基础上,以实现安全的外包IC制造,逻辑加密和分裂制造。这两种方法都基于相同的基本思想,即,为不可信的代工厂(攻击者)提供设计的部分知识,以限制攻击者?盗版或修改设计的能力。 然而,现有的逻辑加密和拆分制造方法在很大程度上将这些技术改造为传统芯片设计流程中的额外步骤;也就是说,它们将安全性视为事后的想法。该项目旨在从根本上重新思考自动化芯片设计算法(简称EDA算法),以提供正式的安全保证,并在优化芯片性能和功耗的同时提供最大的安全性。 具体而言,该研究为芯片设计中的三个关键步骤开发了新的安全感知算法:逻辑合成(芯片“编译器”);(ii)逻辑分区(将电路分解为更小的组件)和(iii)放置(确定每个组件在芯片表面上的物理位置)。这些都集成到一个新的端到端安全EDA流程中,以实现值得信赖的离岸芯片制造。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Siddharth Garg其他文献
Suitable triggering algorithms for detecting strong ground motions using MEMS accelerometers
- DOI:
10.1007/s11803-015-0004-7 - 发表时间:
2015-02-20 - 期刊:
- 影响因子:3.300
- 作者:
Ravi Sankar Jakka;Siddharth Garg - 通讯作者:
Siddharth Garg
Manipulation Attacks on Learned Image Compression
对学习图像压缩的操纵攻击
- DOI:
- 发表时间:
2024 - 期刊:
- 影响因子:0
- 作者:
Kang Liu;Di Wu;Yangyu Wu;Yiru Wang;Dan Feng;Benjamin Tan;Siddharth Garg - 通讯作者:
Siddharth Garg
Feature Compression for Rate Constrained Object Detection on the Edge
用于边缘速率受限对象检测的特征压缩
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
Yuan, Zhongzheng;Samyak Rawlekar;Siddharth Garg;Elza Erkip;Yao Wang - 通讯作者:
Yao Wang
On the Limitation of Backdoor Detection Methods
论后门检测方法的局限性
- DOI:
- 发表时间:
- 期刊:
- 影响因子:0
- 作者:
Georg Pichler;Marco Romanelli;Divya Prakash Manivannan;P. Krishnamurthy;F. Khorrami;Siddharth Garg;TU Wien - 通讯作者:
TU Wien
Left parasternal approach for Bentall procedure in a patient of Marfan syndrome with severe pectus excavatum
- DOI:
10.1007/s12055-017-0611-1 - 发表时间:
2017-11-11 - 期刊:
- 影响因子:0.600
- 作者:
Pankaj Aggarwal;Sachin Mahajan;Siddharth Garg - 通讯作者:
Siddharth Garg
Siddharth Garg的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Siddharth Garg', 18)}}的其他基金
MLWiNS: Resource Constrained Mobile Data Analytics Assisted by the Wireless Edge
MLWiNS:无线边缘协助的资源受限移动数据分析
- 批准号:
2003182 - 财政年份:2020
- 资助金额:
$ 49.74万 - 项目类别:
Standard Grant
SaTC: CORE: Medium: Collaborative: Towards Trustworthy Deep Neural Network Based AI: A Systems Approach
SaTC:核心:媒介:协作:迈向基于可信深度神经网络的人工智能:一种系统方法
- 批准号:
1801495 - 财政年份:2018
- 资助金额:
$ 49.74万 - 项目类别:
Standard Grant
FOundations of Secure and TrustEd HardwaRe (FOSTER) Workshop
安全和可信硬件基础 (FOSTER) 研讨会
- 批准号:
1749175 - 财政年份:2017
- 资助金额:
$ 49.74万 - 项目类别:
Standard Grant
TWC: Large: Collaborative: Verifiable Hardware: Chips that Prove their Own Correctness
TWC:大型:协作:可验证的硬件:证明自身正确性的芯片
- 批准号:
1565396 - 财政年份:2016
- 资助金额:
$ 49.74万 - 项目类别:
Continuing Grant
STARSS: Small: New Attack Vectors and Formal Security Analysis for Integrated Circuit Logic Obfuscation
STARSS:小型:集成电路逻辑混淆的新攻击向量和形式安全分析
- 批准号:
1527072 - 财政年份:2015
- 资助金额:
$ 49.74万 - 项目类别:
Standard Grant
相似国自然基金
RE-BOA联合VA-ECMO对难治性心跳骤停患者脑复苏效果的评估
- 批准号:2025JJ80720
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
Sr/RE复合变质下Al-Si-Mg-Cu合金的强韧化机制研究
- 批准号:2025JJ80374
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于实施科学理论和PRISM/RE-AIM框架的基层疾控体系韧性研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于光生电荷调控的CeO2/RE-MOF异质结设计及光催化性能增强机
理研究
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
实施科学视角下结核病防治“新疆模式”的因果效应评估与策略优化研究——基于RE-AIM框架和多中心阶梯整群随机试验
- 批准号:
- 批准年份:2024
- 资助金额:32 万元
- 项目类别:地区科学基金项目
高效近红外发光Cr3+-RE3+共掺双钙钛矿的设计合成及pc-LED器件的制备与应用
- 批准号:
- 批准年份:2024
- 资助金额:10.0 万元
- 项目类别:省市级项目
莺歌海盆地油气藏系统Re-Os年代学和Os同位素指纹研究
- 批准号:
- 批准年份:2024
- 资助金额:15.0 万元
- 项目类别:省市级项目
实施科学视角下结核病防治“新疆模式”的因果效应评估与策略优化研究--基于RE-AIM框架和多中心阶梯整群随机试验
- 批准号:
- 批准年份:2024
- 资助金额:0 万元
- 项目类别:地区科学基金项目
S100-Anx复合体及RE-出胞复合体介导胎盘滋养细胞内B族链球菌出胞的分子机制
- 批准号:
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
磁铁矿Re-Os同位素定年体系的关键控制因素研究
- 批准号:42373027
- 批准年份:2023
- 资助金额:55 万元
- 项目类别:面上项目
相似海外基金
Re-thinking drug nanocrystals as highly loaded vectors to address key unmet therapeutic challenges
重新思考药物纳米晶体作为高负载载体以解决关键的未满足的治疗挑战
- 批准号:
EP/Y001486/1 - 财政年份:2024
- 资助金额:
$ 49.74万 - 项目类别:
Research Grant
Re-orienting the food and nutrition surveillance system in Canada: a focus on impacts at the intersection of health, climate, and equity
重新定位加拿大的食品和营养监测系统:关注健康、气候和公平交叉点的影响
- 批准号:
491513 - 财政年份:2023
- 资助金额:
$ 49.74万 - 项目类别:
Fellowship Programs
RE-thinking of approaches and toolkits for transdisciplinary INTEGRATEd assessment of climate compatible energy strategies from the African Union through to the European Union (Re-Integrate)
重新思考从非洲联盟到欧盟对气候兼容能源战略进行跨学科综合评估的方法和工具包(重新整合)
- 批准号:
10083920 - 财政年份:2023
- 资助金额:
$ 49.74万 - 项目类别:
EU-Funded
Conference: US-Japan Workshop: Re-thinking the Relationship between Built Environment Conditions and Health and Well-being in Changing Climatic, Social, and Technological Contexts
会议:美日研讨会:在不断变化的气候、社会和技术背景下重新思考建筑环境条件与健康和福祉之间的关系
- 批准号:
2401864 - 财政年份:2023
- 资助金额:
$ 49.74万 - 项目类别:
Standard Grant
Re-thinking the Green Revolution in the Medieval Western Mediterranean (6th - 16th centuries)
重新思考中世纪西地中海(6-16世纪)的绿色革命
- 批准号:
EP/Y024338/1 - 财政年份:2023
- 资助金额:
$ 49.74万 - 项目类别:
Research Grant
Re-thinking the Role of Stress Imaging for Symptomatic Older Adults with Stable Coronary Artery Disease
重新思考压力成像对患有稳定型冠状动脉疾病的有症状老年人的作用
- 批准号:
10727942 - 财政年份:2023
- 资助金额:
$ 49.74万 - 项目类别:
Re-thinking antibiotic prescription: a sequential mixed methods study in Quebec Dental Schools
重新思考抗生素处方:魁北克牙科学校的序贯混合方法研究
- 批准号:
463543 - 财政年份:2022
- 资助金额:
$ 49.74万 - 项目类别:
Operating Grants
Disentangling Fisheries By-catch: Re-thinking Seabird x Fish x Fisher Interactions
解开渔业副渔获物:重新思考海鸟 x 鱼 x 渔民的相互作用
- 批准号:
RGPIN-2018-06872 - 财政年份:2022
- 资助金额:
$ 49.74万 - 项目类别:
Discovery Grants Program - Individual
Re thinking an invisible residents in Japan; Comparative studies of maginal labor marcket and urban problems
重新思考日本的隐形居民;
- 批准号:
22H00909 - 财政年份:2022
- 资助金额:
$ 49.74万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Thinking Difference: a reimagination of British South Asian identity through re-enactments of second-wave feminist activist practices
思维差异:通过重演第二波女权主义活动实践对英国南亚身份的重新想象
- 批准号:
2731805 - 财政年份:2022
- 资助金额:
$ 49.74万 - 项目类别:
Studentship