Collaborative Research: SaTC: TTP: Medium: Toward Complete, User-Friendly, and Trustworthy Confidential Computing with Gramine
Collaborative Research: SaTC: TTP: Medium: Toward Complete, User-Friendly, and Trustworthy Confidential Computing with Gramine
批准号:
2244937
负责人:
Donald Porter
金额:
$59.84万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2023
资助国家:
美国
项目状态:
未结题
起止时间:
2023-07-01 至 2027-06-30
中文摘要
该项目旨在将Gramine(以前称为石墨烯或石墨烯- sgx)从一个成功的开源(LGPL v3.0)研究原型发展成为一个强大、易于使用且值得信赖的机密计算应用构建块。机密计算保护正在使用的代码和数据,它建立在最近的硬件可信执行环境(tee)之上,比如英特尔的SGX飞地。机密计算对于使用敏感数据的云计算应用程序(如医疗应用程序)至关重要,在这些应用程序中,必须在云计算的经济效益与合规性或其他安全问题之间取得平衡。Gramine是一个用于在Intel SGX中运行未经修改的应用程序的“提升和转移”框架。该项目解决了在生产环境中采用Gramine的各种障碍,包括在兼容性、可用性和安全性方面的挑战。该项目的新颖之处在于创建了一个健壮的、通用的、开源的linux兼容层,可以轻松地将遗留应用程序代码从一个平台迁移到另一个平台——这里是新兴的机密计算硬件。该项目更广泛的意义和重要性在于加速机密计算和其他新兴计算平台的研究。Gramine已经是100多篇学术论文和几个商业产品原型的基础。Gramine可在https://github.com/gramineproject/gramine.The上公开获取,该项目侧重于Gramine开发的三个方面。首先,该项目扩展了在Gramine上工作的系统接口和应用程序集,目标是支持90%安装在具有代表性的Debian/Ubuntu系统上的应用程序。其次,该项目通过解决部署问题、简化配置和策略决策、更好地与其他软件框架集成以及扩展受支持tee的集合,改进了Gramine的用户体验。第三,该项目通过先进的测试和分析,以及用Rust编程语言重写关键代码,提高了Gramine代码库的可信度。该奖项反映了美国国家科学基金会的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
This project aims to mature Gramine, previously known as Graphene or Graphene-SGX, from a successful, open-source (LGPL v3.0) research prototype into a robust, easy-to-use, and trustworthy building block for confidential computing applications. Confidential computing protects code and data in use, building upon recent hardware trusted execution environments (TEEs), such as Intel's SGX enclaves. Confidential computing is essential for cloud computing applications that use sensitive data, such as health applications, where one must balance the economic benefits of cloud computing with regulatory compliance or other security concerns. Gramine is a "lift-and-shift" framework for running unmodified applications in Intel SGX. The project addresses various barriers to adopting Gramine in production settings, including challenges in compatibility, usability, and security of Gramine. The project's novelties are creating a robust, general-purpose, open-source, Linux-compatibility layer that can easily migrate legacy application code from one platform to another---here, emerging confidential computing hardware. The project's broader significance and importance is to accelerate the study of confidential computing and other emerging computational platforms. Gramine is already a building block for over 100 academic papers and several commercial product prototypes. Gramine is publicly available at https://github.com/gramineproject/gramine.The project focuses on three aspects of Gramine development. First, the project expands the set of system interfaces and applications that work on Gramine, with the goal of supporting 90% of the applications installed on a representative Debian/Ubuntu system. Second, the project improves the Gramine user experience, by addressing deployment issues, simplifying configuration and policy decisions, better integrating with other software frameworks, and expanding the set of supported TEEs. Third, the project improves the trustworthiness of Gramine's code base with advanced testing and analysis, as well as rewriting critical code in Rust programming language.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)
会议论文
NSF-BSF: SaTC: CORE: Small: Rowhammering Peripherals
-
批准号:2154771
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2022
-
负责人:Donald Porter
-
依托单位:
Collaborative Research: PPoSS: Planning: Efficient Address Translation with Formal Guarantees for Data-Center-Scale Applications
-
批准号:2119300
-
项目类别:Standard Grant
-
资助金额:$6.25万
-
财政年份:2021
-
负责人:Donald Porter
-
依托单位:
SaTC: NSF-BSF: CORE: Small: Attacking and Defending the Lifespan of Mobile and Embedded Flash Storage
-
批准号:1816263
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2018
-
负责人:Donald Porter
-
依托单位:
CSR: Small: Collaborative Research: Easily Adapting Apps to Diverse Wearable Form Factors
-
批准号:1718491
-
项目类别:Standard Grant
-
资助金额:$21.5万
-
财政年份:2017
-
负责人:Donald Porter
-
依托单位:
SDI-CSCS: Collaborative Research: S2OS: Enabling Infrastructure-Wide Programmable Security with SDI
-
批准号:1700512
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2017
-
负责人:Donald Porter
-
依托单位:
Student Travel Support for the 14th USENIX File and Storage Technologies conference (FAST 2016)
-
批准号:1600140
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2016
-
负责人:Donald Porter
-
依托单位:
CAREER: Beyond Virtual Hardware: VMM/OS Co-Design for Lightweight, Flexible Virtualization
-
批准号:1700810
-
项目类别:Continuing Grant
-
资助金额:$5.2万
-
财政年份:2016
-
负责人:Donald Porter
-
依托单位:
TWC: Medium: Collaborative: Trustworthy Programs Without A Trustworthy Operating System
-
批准号:1228839
-
项目类别:Standard Grant
-
资助金额:$44.72万
-
财政年份:2012
-
负责人:Donald Porter
-
依托单位:
CAREER: Beyond Virtual Hardware: VMM/OS Co-Design for Lightweight, Flexible Virtualization
-
批准号:1149229
-
项目类别:Continuing Grant
-
资助金额:$41.29万
-
财政年份:2012
-
负责人:Donald Porter
-
依托单位:
国内基金
海外基金
登录
查看更多内容
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
-
负责人:滕冰
-
依托单位: