SHF: Small: Design-for-Debug Architecture for Post-Silicon Security Validation

SHF:小型:用于硅后安全验证的调试架构

基本信息

  • 批准号:
    1908131
  • 负责人:
  • 金额:
    $ 50万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2019
  • 资助国家:
    美国
  • 起止时间:
    2019-10-01 至 2024-09-30
  • 项目状态:
    已结题

项目摘要

System-on-Chip (SoC) is the brain behind computing and communication in a wide variety of systems, starting from simple electronic devices in smart homes to complex navigation systems in airplanes. SoCs are designed today using hardware components, often gathered from untrusted third-party vendors, to meet cost and time-to-market constraints. These hardware components may have vulnerabilities, which an attacker can exploit to leak secret information or cause system malfunction. While researchers have proposed many promising ideas to detect pre-silicon vulnerabilities, the existing solutions are not useful for fabricated chips (referred to as "post-silicon" stage), since it is not possible to observe or analyze all the internal signals. Moreover, it is infeasible to detect a wide variety of vulnerabilities during fabrication and/or validation (at the "pre-silicon" stages) due to runtime and other constraints. Post-silicon security validation will enable secure and trustworthy systems. The impacts of this project are to develop highly secure SoCs through synergistic integration of pre-silicon verification with post-silicon security validation, working closely with industry to enable technology transfer and produce results with practical significance, and training students of diverse backgrounds for the workforce.The primary objective of the proposed project is to develop automated tools and techniques to detect post-silicon security vulnerabilities using an effective combination of simulation-based security validation and side-channel analysis. Specifically, the project will develop a comprehensive list of SoC vulnerabilities, and design a fully automated and cost-effective mechanism for monitoring of runtime security threats. In order to improve the observability in fabricated chips, the project will develop an effective design-for-debug architecture. The project will also utilize side-channel analysis for vulnerability detection. A successful implementation of this project is expected to drastically reduce the overall SoC security validation effort.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
片上系统(SoC)是各种系统中计算和通信的大脑,从智能家居中的简单电子设备到飞机中的复杂导航系统。今天的SoC设计使用硬件组件,通常从不受信任的第三方供应商那里收集,以满足成本和上市时间的限制。这些硬件组件可能存在漏洞,攻击者可以利用这些漏洞泄露秘密信息或导致系统故障。 虽然研究人员已经提出了许多有前途的想法来检测前硅漏洞,但现有的解决方案对制造芯片(称为“后硅”阶段)没有用,因为不可能观察或分析所有内部信号。此外,由于运行时间和其他约束,在制造和/或验证期间(在“预硅”阶段)检测各种各样的漏洞是不可行的。硅后安全验证将使系统安全可靠。该项目的影响是通过硅前验证与硅后安全验证的协同集成来开发高度安全的SoC,与行业密切合作以实现技术转移并产生具有实际意义的结果,和培训不同背景的学生的劳动力。拟议项目的主要目标是开发自动化的工具和技术,以检测后,硅安全漏洞使用基于模拟的安全验证和侧通道分析的有效组合。 具体而言,该项目将开发一个全面的SoC漏洞列表,并设计一个完全自动化和具有成本效益的机制来监控运行时安全威胁。为了提高制造芯片的可观察性,该项目将开发一种有效的调试设计架构。该项目还将利用旁道分析来检测脆弱性。该项目的成功实施预计将大大减少整体SoC安全验证工作。该奖项反映了NSF的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

期刊论文数量(28)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Dynamic Refinement of Hardware Assertion Checkers
硬件断言检查器的动态细化
  • DOI:
    10.23919/date56975.2023.10137306
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Witharana, Hasini;Sanjaya, Sahan;Mishra, Prabhat
  • 通讯作者:
    Mishra, Prabhat
Hardware-Assisted Malware Detection using Explainable Machine Learning
使用可解释的机器学习进行硬件辅助恶意软件检测
Network-on-Chip Trust Validation Using Security Assertions
使用安全断言的片上网络信任验证
  • DOI:
    10.1007/s41635-022-00129-5
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Jayasena, Aruna;Kumar, Binod;Charles, Subodha;Witharana, Hasini;Mishra, Prabhat
  • 通讯作者:
    Mishra, Prabhat
Hardware-Assisted Malware Detection and Localization Using Explainable Machine Learning
  • DOI:
    10.1109/tc.2022.3150573
  • 发表时间:
    2022-12
  • 期刊:
  • 影响因子:
    3.7
  • 作者:
    Zhixin Pan;Jennifer Sheldon;P. Mishra
  • 通讯作者:
    Zhixin Pan;Jennifer Sheldon;P. Mishra
Test generation using reinforcement learning for delay-based side-channel analysis
使用强化学习进行基于延迟的侧信道分析的测试生成
{{ 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 }}

Prabhat Mishra其他文献

Feedback-Based Steering for Quantum State Preparation
用于量子态制备的基于反馈的转向
Structural and institutional arrangements impacting collective actions in WUAs of West Bengal, India
影响印度西孟加拉邦用水户协会集体行动的结构和制度安排
  • DOI:
    10.1080/07900627.2022.2041407
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    3.1
  • 作者:
    Indranil De;Soumyadip Chattopadhyay;Hippu Salk Kristle Nathan;Prabhat Mishra;Akhilesh Parey;S. Dutta
  • 通讯作者:
    S. Dutta
Quantum Measurement Classification Using Statistical Learning
使用统计学习进行量子测量分类
CISELeaks: Information Leakage Assessment of Cryptographic Instruction Set Extension Prototypes
CISELeaks:密码指令集扩展原型的信息泄漏评估
  • DOI:
  • 发表时间:
    2024
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Aruna Jayasena;Richard Bachmann;Prabhat Mishra
  • 通讯作者:
    Prabhat Mishra
Guest Editor Introduction: Special Issue on Nano/Bio-Inspired Applications and Architectures

Prabhat Mishra的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Prabhat Mishra', 18)}}的其他基金

SaTC: CORE: Small: Trustworthy System-On-Chip Design using Secure On-Chip Communication Architecture
SaTC:CORE:小型:使用安全片上通信架构的值得信赖的片上系统设计
  • 批准号:
    1936040
  • 财政年份:
    2019
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
CSR: Small: Collaborative Research: Dynamic Reconfiguration for Adaptive Computing in Heterogeneous SoCs
CSR:小型:协作研究:异构 SoC 中自适应计算的动态重新配置
  • 批准号:
    1526687
  • 财政年份:
    2015
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SaTC: STARSS: Collaborative: IPTrust: A Comprehensive Framework for IP Integrity Validation
SaTC:STARSS:协作:IPTrust:IP 完整性验证的综合框架
  • 批准号:
    1441667
  • 财政年份:
    2014
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: Small: Automated Techniques for Efficient Post-Silicon Validation and Debug of Integrated Circuits
SHF:小型:集成电路高效硅后验证和调试的自动化技术
  • 批准号:
    1218629
  • 财政年份:
    2012
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
CSR:Small: Novel Techniques for Lossless Data Compression and Efficient Decompression in Heterogeneous Embedded Systems
CSR:Small:异构嵌入式系统中无损数据压缩和高效解压缩的新技术
  • 批准号:
    0915376
  • 财政年份:
    2009
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
CAREER: New Directions in Functional Verification of Heterogeneous Multicore Architectures
职业:异构多核架构功能验证的新方向
  • 批准号:
    0746261
  • 财政年份:
    2008
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant

相似国自然基金

昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
    n/a
  • 批准年份:
    2022
  • 资助金额:
    10.0 万元
  • 项目类别:
    省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
  • 批准号:
    32000033
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 批准年份:
    2019
  • 资助金额:
    58.0 万元
  • 项目类别:
    面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
  • 批准号:
    81900988
  • 批准年份:
    2019
  • 资助金额:
    21.0 万元
  • 项目类别:
    青年科学基金项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
  • 批准号:
    31802058
  • 批准年份:
    2018
  • 资助金额:
    26.0 万元
  • 项目类别:
    青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
  • 批准号:
    31870821
  • 批准年份:
    2018
  • 资助金额:
    56.0 万元
  • 项目类别:
    面上项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
  • 批准号:
    31772128
  • 批准年份:
    2017
  • 资助金额:
    60.0 万元
  • 项目类别:
    面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
  • 批准号:
    81704176
  • 批准年份:
    2017
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
  • 批准号:
    91640114
  • 批准年份:
    2016
  • 资助金额:
    85.0 万元
  • 项目类别:
    重大研究计划

相似海外基金

SHF: Small: Taming Huge Page Problems for Memory Bulk Operations Using a Hardware/Software Co-Design Approach
SHF:小:使用硬件/软件协同设计方法解决内存批量操作的大页面问题
  • 批准号:
    2400014
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: Small: Hardware-Software Co-design for Privacy Protection on Deep Learning-based Recommendation Systems
SHF:小型:基于深度学习的推荐系统的隐私保护软硬件协同设计
  • 批准号:
    2334628
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: Small: Semi-supervised Learning for Design and Quality Assurance of Integrated Circuits
SHF:小型:集成电路设计和质量保证的半监督学习
  • 批准号:
    2334380
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: Enabling Efficient 3D Perception: An Architecture-Algorithm Co-Design Approach
协作研究:SHF:小型:实现高效的 3D 感知:架构-算法协同设计方法
  • 批准号:
    2334624
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
FET/SHF: Small: Reinforcement learning and transformer inspired smart photonics inverse design
FET/SHF:小型:强化学习和变压器启发的智能光子逆设计
  • 批准号:
    2309403
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: Small: Testing and Design-for-Test Techniques for Monolithic 3D Integrated Circuits
SHF:小型:单片 3D 集成电路的测试和测试设计技术
  • 批准号:
    2309822
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: Reimagining Communication Bottlenecks in GNN Acceleration through Collaborative Locality Enhancement and Compression Co-Design
协作研究:SHF:小型:通过协作局部性增强和压缩协同设计重新想象 GNN 加速中的通信瓶颈
  • 批准号:
    2326494
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: Small: Explainable Machine Learning for Better Design of Very Large Scale Integrated Circuits
SHF:小:可解释的机器学习,用于更好地设计超大规模集成电路
  • 批准号:
    2322713
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: Model-driven Design and Optimization of Dataflows for Scientific Applications
协作研究:SHF:小型:科学应用数据流的模型驱动设计和优化
  • 批准号:
    2331153
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: Reimagining Communication Bottlenecks in GNN Acceleration through Collaborative Locality Enhancement and Compression Co-Design
协作研究:SHF:小型:通过协作局部性增强和压缩协同设计重新想象 GNN 加速中的通信瓶颈
  • 批准号:
    2326495
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了