Collaborative Research: CT-M: Hardware Containers for Software Components - Detection and Recovery at the Hardware/Software Interface
Collaborative Research: CT-M: Hardware Containers for Software Components - Detection and Recovery at the Hardware/Software Interface
批准号:
0830927
负责人:
Alok Choudhary
金额:
$13.5万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2009
资助国家:
美国
项目状态:
已结题
起止时间:
2009-01-01 至 2013-12-31
中文摘要
该项目专注于硬件功能,以提高软件系统的安全性。通过提炼当今体系结构中可用的粗粒度保护,该项目的目标是保护单个软件对象或组件的完整性。硬件机制强制对软件组件的执行进行严格控制,程序员可以定义为大到整个应用程序,也可以定义为小到单个对象。该项目的目标是快速检测并从通过适当访问内存或接管CPU的攻击中恢复。该方法还包括硬件监控恢复,使系统在攻击后恢复正常运行,并保护恢复过程本身免受攻击。该项目的好处包括能够挫败一大类攻击,以及未来开发更强大的软件系统的可能性。恢复受到的关注略低于攻击预防或检测,对没有操作员干预的嵌入式系统尤其重要。该项目将用于培训研究生,并将材料输入到三所参与大学教授的研究生课程中。还将开发用于K-12教育的模块,目的是吸引学生考虑计算机科学和工程方面的职业。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
EAGER: XAISE: Explainable Artificial Intelligence for Science and Engineering
-
批准号:2331329
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2023
-
负责人:Alok Choudhary
-
依托单位:
SHF: Medium: Collaborative Research: Scalable Algorithms for Spatio-temporal Data Analysis
-
批准号:1409601
-
项目类别:Standard Grant
-
资助金额:$70.93万
-
财政年份:2014
-
负责人:Alok Choudhary
-
依托单位:
EAGER: Scalable Big Data Analytics
-
批准号:1343639
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2013
-
负责人:Alok Choudhary
-
依托单位:
EAGER: Discovering Knowledge from Scientific Research Networks
-
批准号:1144061
-
项目类别:Standard Grant
-
资助金额:$25.6万
-
财政年份:2011
-
负责人:Alok Choudhary
-
依托单位:
Travel Support for Workshop: Reaching Exascale in this Decade to be Co-Located with International Conference on High-Performance Computing (HiPC 2010)
-
批准号:1043085
-
项目类别:Standard Grant
-
资助金额:$2.4万
-
财政年份:2010
-
负责人:Alok Choudhary
-
依托单位:
Collaborative Research: An Application Driven I/O Optimization Approach for PetaScale Systems and Scientific Discoveries
-
批准号:0938000
-
项目类别:Standard Grant
-
资助金额:$32.0万
-
财政年份:2010
-
负责人:Alok Choudhary
-
依托单位:
Collaborative Research: Understanding Climate Change: A Data Driven Approach
-
批准号:1029166
-
项目类别:Continuing Grant
-
资助金额:$90.0万
-
财政年份:2010
-
负责人:Alok Choudhary
-
依托单位:
DC: Medium: Collaborative Research: ELLF: Extensible Language and Library Frameworks for Scalable and Efficient Data-Intensive Applications
-
批准号:0905205
-
项目类别:Standard Grant
-
资助金额:$41.0万
-
财政年份:2009
-
负责人:Alok Choudhary
-
依托单位:
Data- and Analytics Driven Fault-tolerance and Resiliency Strategies for Peta-Scale Systems
-
批准号:0956311
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2009
-
负责人:Alok Choudhary
-
依托单位:
Collaborative Research: Advanced Compiler Optimizations and Programming Language Enhancements for Petascale I/O and Storage
-
批准号:0833131
-
项目类别:Standard Grant
-
资助金额:$27.8万
-
财政年份:2008
-
负责人:Alok Choudhary
-
依托单位:
SDCI HPC: Improvement: Parallel I/O Software Infrastructure for Petascale Systems
-
批准号:0724599
-
项目类别:Standard Grant
-
资助金额:$152.81万
-
财政年份:2007
-
负责人:Alok Choudhary
-
依托单位:
Collaborative Research: Scalable I/O Middleware and File System Optimizations for High-Performance Computing
-
批准号:0621443
-
项目类别:Standard Grant
-
资助金额:$52.0万
-
财政年份:2006
-
负责人:Alok Choudhary
-
依托单位:
Collaborative Research: CRI - Scalable Benchmarks, Software and Data for Data Mining, Analytics and Scientific Discoveries
-
批准号:0551639
-
项目类别:Continuing Grant
-
资助金额:$22.0万
-
财政年份:2006
-
负责人:Alok Choudhary
-
依托单位:
Collaborative Research: High-Performance Techniques, Designs and Implementation of software Infrastructure for Change Detection and Mining
-
批准号:0536994
-
项目类别:Continuing Grant
-
资助金额:$51.45万
-
财政年份:2005
-
负责人:Alok Choudhary
-
依托单位:
Collaborative Research: NGS: Dynamic Runtime and Compilation Support for I/O-Intensive Applications
-
批准号:0406341
-
项目类别:Continuing Grant
-
资助金额:$33.65万
-
财政年份:2004
-
负责人:Alok Choudhary
-
依托单位:
Collaborative Research: Ultra-scalable system software and tools for data-intensive computing
-
批准号:0444405
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Alok Choudhary
-
依托单位:
NGS: Scalable I/O Management and Access Optimizations for Scientific Applications for High-Performance Computing
-
批准号:0103023
-
项目类别:Continuing Grant
-
资助金额:$9.98万
-
财政年份:2001
-
负责人:Alok Choudhary
-
依托单位:
Interoperable Data Files for High-Performance Computing
-
批准号:9707074
-
项目类别:Continuing Grant
-
资助金额:$28.42万
-
财政年份:1997
-
负责人:Alok Choudhary
-
依托单位:
System Software Support for Input-Output on Parallel Computing
-
批准号:9509143
-
项目类别:Continuing Grant
-
资助金额:$6.77万
-
财政年份:1996
-
负责人:Alok Choudhary
-
依托单位:
System Software Support for Input-Output on Parallel Computing
-
批准号:9796029
-
项目类别:Continuing Grant
-
资助金额:$18.29万
-
财政年份:1996
-
负责人:Alok Choudhary
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Research on Quantum Field Theory without a Lagrangian Description
-
批准号:24ZR1403900
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:SATOSHI NAWATA
-
依托单位:
Cell Research
-
批准号:31224802
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:程磊
-
依托单位:
Cell Research
-
批准号:31024804
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:程磊
-
依托单位:
Cell Research (细胞研究)
-
批准号:30824808
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2008
-
负责人:张爱兰
-
依托单位:
Research on the Rapid Growth Mechanism of KDP Crystal
-
批准号:10774081
-
项目类别:面上项目
-
资助金额:45.0万元
-
批准年份:2007
-
负责人:滕冰
-
依托单位: