CT-M: Hardware Containers for Software Components - Detection and Recovery at the Hardware/Software Interface

CT-M:软件组件的硬件容器 - 硬件/软件接口的检测和恢复

基本信息

  • 批准号:
    0831041
  • 负责人:
  • 金额:
    $ 20万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2009
  • 资助国家:
    美国
  • 起止时间:
    2009-01-01 至 2013-12-31
  • 项目状态:
    已结题

项目摘要

This project focuses on hardware features to improve the security of software systems.By refining the coarse-grained protections available intoday's architectures, the project will aim to protectthe integrity of individual software objects or components.The hardware mechanisms force tight controls on the execution of software components, whichprogrammers can define to be as large as entireapplications or as small as individual objects. The goal is to rapidly detect and also recover from attacks thatimproperly access memory or take over the CPU.The approach also includes hardware-supervisedrecovery, to enable systems to return to normal operation after an attack and to protect the recovery process itself from attacks.The benefits of this project include the ability to thwart a large class of attacks and the potential ofdeveloping more robust software systems in the future.Recovery, which has received somewhat less attention thanattack prevention or detection, is especially important for embedded systems that do not have the luxury of intervention by human operators.The project will be used to train graduate students and to feed material into graduate courses taught at the three participating universities. Modules will also be developed for use in K-12 education with the aim of drawing students into considering careers in computer science and engineering.
这个项目的重点是硬件功能,以提高软件系统的安全性。通过改进当今体系结构中可用的粗粒度保护,该项目的目标是保护单个软件对象或组件的完整性。硬件机制对软件组件的执行进行严格控制,程序员可以将其定义为整个应用程序或单个对象。目标是快速检测并从无法正确访问内存或接管CPU的攻击中恢复。该方法还包括硬件监督恢复,使系统能够在攻击后恢复正常运行,并保护恢复过程本身免受攻击。该项目的好处包括能够阻止大量攻击,并有可能在未来开发更强大的软件系统。恢复,这一技术受到的关注比攻击预防或检测要少一些,但对于没有人工干预的嵌入式系统来说,这一技术尤为重要。该项目将用于培训研究生,并为三所参与大学的研究生课程提供材料。还将开发用于K-12教育的模块,目的是吸引学生考虑计算机科学和工程职业。

项目成果

期刊论文数量(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 }}

Joseph Zambreno其他文献

Cache design for mixed criticality real-time systems
混合关键实时系统的缓存设计
  • DOI:
  • 发表时间:
    2014
  • 期刊:
  • 影响因子:
    0
  • 作者:
    N. Kumar;Sudhanshu Vyas;R. Cytron;C. Gill;Joseph Zambreno;Phillip H. Jones
  • 通讯作者:
    Phillip H. Jones
Automated software attack recovery using rollback and huddle
使用回滚和拥挤的自动软件攻击恢复
Detecting/preventing information leakage on the memory bus due to malicious hardware
检测/防止恶意硬件导致内存总线上的信息泄漏
Summer Engagement in Cyber Undergraduate Research Experiences (SECURE)
夏季参与网络本科生研究经历(安全)
Design and Analysis of a Reconfigurable Platform for Frequent Pattern Mining
频繁模式挖掘的可重构平台的设计与分析

Joseph Zambreno的其他文献

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

{{ truncateString('Joseph Zambreno', 18)}}的其他基金

Collaborative Research: ECSEL Scholarship Program (Electrical, Computer, and Software Engineers as Leaders)
合作研究:ECSEL 奖学金计划(电气、计算机和软件工程师作为领导者)
  • 批准号:
    1565130
  • 财政年份:
    2016
  • 资助金额:
    $ 20万
  • 项目类别:
    Standard Grant
CPS: Breakthrough: Collaborative Research: Track and Fallback: Intrusion Detection to Counteract Carjack Hacks with Fail-Operational Feedback
CPS:突破:协作研究:跟踪和回退:入侵检测通过失败操作反馈来对抗劫车黑客
  • 批准号:
    1645987
  • 财政年份:
    2016
  • 资助金额:
    $ 20万
  • 项目类别:
    Standard Grant
CAREER: Architectural Support for CPU / GPU Hybridization
职业:CPU / GPU 混合的架构支持
  • 批准号:
    1149539
  • 财政年份:
    2012
  • 资助金额:
    $ 20万
  • 项目类别:
    Continuing Grant
CSR: Small: Hardware Architectures for Data Mining at the Exascale
CSR:小型:用于百亿亿级数据挖掘的硬件架构
  • 批准号:
    1116810
  • 财政年份:
    2011
  • 资助金额:
    $ 20万
  • 项目类别:
    Standard Grant
Collaborative Research: Security and Software Engineering Research Center (SSERC)
合作研究:安全与软件工程研究中心(SSERC)
  • 批准号:
    0968939
  • 财政年份:
    2010
  • 资助金额:
    $ 20万
  • 项目类别:
    Continuing Grant

相似海外基金

SWIFT-SAT: Unlimited Radio Interferometry: A Hardware-Algorithm Co-Design Approach to RAS-Satellite Coexistence
SWIFT-SAT:无限无线电干涉测量:RAS 卫星共存的硬件算法协同设计方法
  • 批准号:
    2332534
  • 财政年份:
    2024
  • 资助金额:
    $ 20万
  • 项目类别:
    Standard Grant
CRII: SaTC: Reliable Hardware Architectures Against Side-Channel Attacks for Post-Quantum Cryptographic Algorithms
CRII:SaTC:针对后量子密码算法的侧通道攻击的可靠硬件架构
  • 批准号:
    2348261
  • 财政年份:
    2024
  • 资助金额:
    $ 20万
  • 项目类别:
    Standard Grant
Reversible Computing and Reservoir Computing with Magnetic Skyrmions for Energy-Efficient Boolean Logic and Artificial Intelligence Hardware
用于节能布尔逻辑和人工智能硬件的磁斯格明子可逆计算和储层计算
  • 批准号:
    2343607
  • 财政年份:
    2024
  • 资助金额:
    $ 20万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Differentiable Hardware Synthesis
合作研究:SHF:媒介:可微分硬件合成
  • 批准号:
    2403134
  • 财政年份:
    2024
  • 资助金额:
    $ 20万
  • 项目类别:
    Standard Grant
CAREER: Data-Driven Hardware and Software Techniques to Enable Sustainable Data Center Services
职业:数据驱动的硬件和软件技术,以实现可持续的数据中心服务
  • 批准号:
    2340042
  • 财政年份:
    2024
  • 资助金额:
    $ 20万
  • 项目类别:
    Continuing Grant
SHF: Small: Taming Huge Page Problems for Memory Bulk Operations Using a Hardware/Software Co-Design Approach
SHF:小:使用硬件/软件协同设计方法解决内存批量操作的大页面问题
  • 批准号:
    2400014
  • 财政年份:
    2024
  • 资助金额:
    $ 20万
  • 项目类别:
    Standard Grant
Collaborative Research: Reversible Computing and Reservoir Computing with Magnetic Skyrmions for Energy-Efficient Boolean Logic and Artificial Intelligence Hardware
合作研究:用于节能布尔逻辑和人工智能硬件的磁斯格明子可逆计算和储层计算
  • 批准号:
    2343606
  • 财政年份:
    2024
  • 资助金额:
    $ 20万
  • 项目类别:
    Standard Grant
SHF: Small: QED - A New Approach to Scalable Verification of Hardware Memory Consistency
SHF:小型:QED - 硬件内存一致性可扩展验证的新方法
  • 批准号:
    2332891
  • 财政年份:
    2024
  • 资助金额:
    $ 20万
  • 项目类别:
    Standard Grant
SHF: Small: Hardware-Software Co-design for Privacy Protection on Deep Learning-based Recommendation Systems
SHF:小型:基于深度学习的推荐系统的隐私保护软硬件协同设计
  • 批准号:
    2334628
  • 财政年份:
    2024
  • 资助金额:
    $ 20万
  • 项目类别:
    Standard Grant
CAREER: Toward Power Delivery Network-aware Hardware Security
职业:迈向电力传输网络感知硬件安全
  • 批准号:
    2338069
  • 财政年份:
    2024
  • 资助金额:
    $ 20万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了