SaTC: CORE: Medium: Cannot Trust Anything: A Tiny TCB Architecture for Secure Containers
SaTC: CORE: Medium: Cannot Trust Anything: A Tiny TCB Architecture for Secure Containers
批准号:
2247370
负责人:
Gail Kaiser
金额:
$120.0万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2023
资助国家:
美国
项目状态:
未结题
起止时间:
2023-10-01 至 2027-09-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
The goal of this project is to protect users' sensitive data in cyber space from determined and resourceful attackers while requiring no changes to applications and no actions from users or software developers. The project's novelties lie in its rethinking of containers, which represent a piece of software that includes all resources an application needs to run across diverse computing environments. Current container technology relies on the operating system (OS) as the trusted computing base (TCB) to enforce their security guarantees. However, modern OSes like Linux are simply too large, with many vulnerabilities and places for malicious software to hide. The project re-envisions containers with a tiny TCB, small enough to be carefully checked, offering defenses even from the OS itself and third-party software. The project's broader significance and importance are its (i) enhancements to modern computing infrastructure supporting mobile, web and desktop applications even when the computer infrastructure and network have been compromised by bad actors and (ii) broadening the participation of underrepresented minorities in computing. The project is investigating creative solutions to the hard problems of protecting and defending the confidentiality and integrity of application state, including registers, physical memory, and files, while still enabling traditional computing and networking services. The approach supports system calls and libraries that receive data from and return data to the application, without requiring modifications to the application’s source code or special configuration by developers. The project will demonstrate that this new TCB architecture provides fine-grained protection of application state against a variety of real attacks, including side-channel attacks that traditional hypervisor and container architectures cannot shield against, while still adding only modest performance overhead to real application workloads. Society will benefit as users enjoy their favorite old apps and explore trending new apps with peace of mind in their safety, privacy, and security.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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Preponderance of the Evidence for Behavioral Code Similarities
-
批准号:1815494
-
项目类别:Standard Grant
-
资助金额:$49.66万
-
财政年份:2018
-
负责人:Gail Kaiser
-
依托单位:
TWC: Medium: Toward Trustworthy Mutable Replay for Security Patches
-
批准号:1563555
-
项目类别:Standard Grant
-
资助金额:$120.0万
-
财政年份:2016
-
负责人:Gail Kaiser
-
依托单位:
SHF: MEDIUM: Achieving Software Reliability without True Test Oracles
-
批准号:1161079
-
项目类别:Continuing Grant
-
资助金额:$89.46万
-
财政年份:2012
-
负责人:Gail Kaiser
-
依托单位:
CSR---VCM: Autonomic Mechanisms for Reducing System Downtime due to Maintenance and Upgrades
-
批准号:0717544
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Gail Kaiser
-
依托单位:
Smart Event Models and Architectures
-
批准号:0203876
-
项目类别:Continuing Grant
-
资助金额:$27.0万
-
财政年份:2002
-
负责人:Gail Kaiser
-
依托单位:
Component Technologies for Next-Generation Software Development Environments
-
批准号:9970790
-
项目类别:Continuing Grant
-
资助金额:$22.5万
-
财政年份:1999
-
负责人:Gail Kaiser
-
依托单位:
CISE Research Instrumentation: Semantics-based Prefetching for Mobile Computing
-
批准号:9529304
-
项目类别:Standard Grant
-
资助金额:$4.67万
-
财政年份:1996
-
负责人:Gail Kaiser
-
依托单位:
Components for Decentralized Process-Centered Environments
-
批准号:9301092
-
项目类别:Continuing Grant
-
资助金额:$21.7万
-
财政年份:1993
-
负责人:Gail Kaiser
-
依托单位:
Multi-Agent Rule-Based Development Environments
-
批准号:9106368
-
项目类别:Continuing Grant
-
资助金额:$23.63万
-
财政年份:1991
-
负责人:Gail Kaiser
-
依托单位:
CISE Research Instrumentation
-
批准号:8920080
-
项目类别:Standard Grant
-
资助金额:$4.41万
-
财政年份:1990
-
负责人:Gail Kaiser
-
依托单位:
Distributed Language-based Environments
-
批准号:9000930
-
项目类别:Continuing Grant
-
资助金额:$10.0万
-
财政年份:1990
-
负责人:Gail Kaiser
-
依托单位:
Presidential Young Investigator Award: Computer Science (Software)
-
批准号:8858029
-
项目类别:Continuing Grant
-
资助金额:$31.2万
-
财政年份:1988
-
负责人:Gail Kaiser
-
依托单位:
Distributed Language-based Environments
-
批准号:8802741
-
项目类别:Standard Grant
-
资助金额:$14.63万
-
财政年份:1988
-
负责人:Gail Kaiser
-
依托单位:
国内基金
海外基金
登录
查看更多内容
胆固醇羟化酶CH25H非酶活依赖性促进乙型肝炎病毒蛋白Core及Pre-core降解的分子机制研究
-
批准号:82371765
-
项目类别:面上项目
-
资助金额:50万元
-
批准年份:2023
-
负责人:谭广云
-
依托单位:
锕系元素5f-in-core的GTH赝势和基组的开发
-
批准号:22303037
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:鲁俊波
-
依托单位:
基于合成致死策略搭建Core-matched前药共组装体克服肿瘤耐药的机制研究
-
批准号:--
-
项目类别:--
-
资助金额:52万元
-
批准年份:2022
-
负责人:孙丙军
-
依托单位:
鼠伤寒沙门氏菌LPS core经由CD209/SphK1促进树突状细胞迁移加重炎症性肠病的机制研究
-
批准号:--
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2022
-
负责人:叶成林
-
依托单位:
基于外泌体精准调控的“核-壳”(core-shell)同步血管化骨组织工程策略的应用与机制探讨
-
批准号:--
-
项目类别:--
-
资助金额:55万元
-
批准年份:2020
-
负责人:张智勇
-
依托单位:
基于外泌体精准调控的“核-壳”(core-shell)同步血管化骨组织工程策略的应用与机制探讨
-
批准号:82072415
-
项目类别:面上项目
-
资助金额:55.0万元
-
批准年份:2020
-
负责人:张智勇
-
依托单位:
肌营养不良蛋白聚糖Core M3型甘露糖肽的精确制备及功能探索
-
批准号:92053110
-
项目类别:重大研究计划
-
资助金额:70.0万元
-
批准年份:2020
-
负责人:彭鹏
-
依托单位:
Core-1-O型聚糖黏蛋白缺陷诱导胃炎发生并介导慢性胃炎向胃癌转化的分子机制研究
-
批准号:81902805
-
项目类别:青年科学基金项目
-
资助金额:20.5万元
-
批准年份:2019
-
负责人:刘菲
-
依托单位:
原始地球增生晚期的Core-merging大碰撞事件:地核增生、核幔平衡与核幔边界结构的新认识
-
批准号:41973063
-
项目类别:面上项目
-
资助金额:65.0万元
-
批准年份:2019
-
负责人:周游
-
依托单位:
CORDEX-CORE区域气候模拟与预估研讨会
-
批准号:41981240365
-
项目类别:国际(地区)合作与交流项目
-
资助金额:1.5万元
-
批准年份:2019
-
负责人:陈威霖
-
依托单位: