TWC: TTP Option: Frontier: Collaborative: MACS: A Modular Approach to Cloud Security
TWC: TTP Option: Frontier: Collaborative: MACS: A Modular Approach to Cloud Security
批准号:
1413920
负责人:
Srini Devadas
金额:
$320.0万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2014
资助国家:
美国
项目状态:
已结题
起止时间:
2014-10-01 至 2020-09-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
The goal of the Modular Approach to Cloud Security (MACS) project is to develop methods for building information systems with meaningful multi-layered security guarantees. The modular approach of MACS focuses on systems that are built from smaller and separable functional components, where the security of each component is asserted individually, and where the security of the system as a whole can be derived from the security of its components. The project concentrates on building outsourced, cloud-based information services with client-centric security guarantees. The MACS project addresses a diverse set of security challenges. These include the design of hardware with built-in secrecy and integrity properties, small and versatile operating systems that offer minimal functionality but are simpler and easier to analyze, privacy-preserving and verifiable memory access for outsourced applications, security-preserving overlay and software-defined networks, and algorithms for privacy-preserving verifiable outsourced computations and database systems. Crucially, we combine all of these security mechanisms with their piecemeal analyses into a global security guarantee. Furthermore, the analysis is modular, allowing the substitution of components with others that provide potentially comparable guarantees based on different techniques and trust assumptions. The research team comprises experts in different aspects of information security and cryptography. The research is highly collaborative and pools together key areas of expertise in order to provide overall security guarantees. A key component of the project is the Massachusetts Open Cloud, which provides the research team with a test-bed for deploying and testing the developed mechanisms in a production cloud. The project involves a significant outreach component with a number of goals. One goal is to introduce technology professionals to cybersecurity and its central role for our society and economy. Another goal is to introduce K-12 students to cybersecurity, and through it to computer science in general. The program targets students from both under-represented minorities and students with exceptional academic potential.
期刊论文(1)
专著(0)
科研奖励(0)
会议论文
DOI:
10.1145/3341301.3359661
发表时间:
2019-10
期刊:
Proceedings of the 27th ACM Symposium on Operating Systems Principles
影响因子:
--
作者:
[Anish Athalye;A. Belay;M. Kaashoek;R. Morris;Nickolai Zeldovich]
通讯作者:
Anish Athalye;A. Belay;M. Kaashoek;R. Morris;Nickolai Zeldovich
SaTC: CORE: Medium: Provably Secure, Usable, and Performant Enclaves in Multicore Processors
-
批准号:2115587
-
项目类别:Continuing Grant
-
资助金额:$120.0万
-
财政年份:2021
-
负责人:Srini Devadas
-
依托单位:
SaTC: CORE: Medium: Collaborative: Hardening Off-the-Shelf Software Against Side Channel Attacks
-
批准号:1955270
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2020
-
负责人:Srini Devadas
-
依托单位:
SaTC: CORE: Small: Design of Efficient, Horizontally-Scaling, and Strongly Anonymous Communication Networks
-
批准号:1813087
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2018
-
负责人:Srini Devadas
-
依托单位:
SPX: Collaborative Research: Distributed Database Management with Logical Leases and Hardware Transactional Memory
-
批准号:1822920
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2018
-
负责人:Srini Devadas
-
依托单位:
STARSS: Small: Trapdoor Computational Fuzzy Extractors
-
批准号:1523572
-
项目类别:Standard Grant
-
资助金额:$26.67万
-
财政年份:2015
-
负责人:Srini Devadas
-
依托单位:
XPS: FULL: DSD: Collaborative Research: Moving the Abyss: Database Management on Future 1000-core Processors
-
批准号:1438967
-
项目类别:Standard Grant
-
资助金额:$35.04万
-
财政年份:2014
-
负责人:Srini Devadas
-
依托单位:
TWC: Small: Ascend: Architecture for Secure Computation on Encrypted Data
-
批准号:1317763
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2013
-
负责人:Srini Devadas
-
依托单位:
EAGER: Collaborative: Holistic Security for Cloud Computing: Oblivious Computation
-
批准号:1347279
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2013
-
负责人:Srini Devadas
-
依托单位:
SHF: Small: Directoryless Shared Memory Using Execution Migration
-
批准号:1116372
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2011
-
负责人:Srini Devadas
-
依托单位:
SHF: Medium: Collaborative Research: Throughput-Driven Multi-Core Architecture and a Compilation System
-
批准号:0904598
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2009
-
负责人:Srini Devadas
-
依托单位:
CT-ISG: Applications and Evolution of Trusted Platform Module Technology
-
批准号:0715680
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Srini Devadas
-
依托单位:
Physical Random Functions and Secure Hardware Architectures
-
批准号:0309562
-
项目类别:Continuing Grant
-
资助金额:$35.0万
-
财政年份:2003
-
负责人:Srini Devadas
-
依托单位:
Security Protocols for Pervasive Computing Applications
-
批准号:0208631
-
项目类别:Continuing Grant
-
资助金额:$27.0万
-
财政年份:2002
-
负责人:Srini Devadas
-
依托单位:
NSF CNPq Collaborative Research on Design Environments for Application-Specific Programmable Processors
-
批准号:9901628
-
项目类别:Continuing Grant
-
资助金额:$18.0万
-
财政年份:1999
-
负责人:Srini Devadas
-
依托单位:
An Algorithmic Methodology for Validation of Mixed Hardware/Software Systems
-
批准号:9900757
-
项目类别:Continuing Grant
-
资助金额:$34.5万
-
财政年份:1999
-
负责人:Srini Devadas
-
依托单位:
A Computer-Aided Design Methodology for Application-Specific Embedded Processors
-
批准号:9612632
-
项目类别:Continuing Grant
-
资助金额:$33.0万
-
财政年份:1996
-
负责人:Srini Devadas
-
依托单位:
NSF Young Investigator Award: Formal Methods for Hardware and Software Verification
-
批准号:9258376
-
项目类别:Continuing Grant
-
资助金额:$31.25万
-
财政年份:1992
-
负责人:Srini Devadas
-
依托单位:
国内基金
海外基金
登录
查看更多内容
RNA结合蛋白TTP在阿尔茨海默病中的作用机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2023
-
负责人:
-
依托单位:
TTP和XPO4蛋白介导lncRNA转运在子宫颈鳞状细胞癌中功能及机制的研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:54万元
-
批准年份:2022
-
负责人:陈亮
-
依托单位:
平滑肌中TTP在血压调控中的作用及机制研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:52万元
-
批准年份:2022
-
负责人:张文程
-
依托单位:
TTP-KDM3A/CYP19A1调控滋养层细胞分化和侵袭的机制研究
-
批准号:82171669
-
项目类别:面上项目
-
资助金额:54万元
-
批准年份:2021
-
负责人:林羿
-
依托单位:
心外膜脂肪组织TTP在病理性心肌肥厚发生发展中的作用及机制研究
-
批准号:82100279
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:李静媛
-
依托单位:
锌指蛋白TTP调控m6A抑制血吸虫病肝纤维化的机制研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:55万元
-
批准年份:2021
-
负责人:董惠芬
-
依托单位:
RNA结合蛋白TTP靶向抑制LncRNA-SNHG1保护帕金森病多巴胺神经元的机制研究
-
批准号:82101341
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:何骁征
-
依托单位:
外泌体miR-27a-3p—TTP—NLRP3环路介导的软骨细胞焦亡与滑膜炎正反馈互作在膝骨关节炎中的作用及机制研究
-
批准号:82002331
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:阮光峰
-
依托单位:
αIIb启动子调控血小板靶向表达ADAMTS13治疗CRISPR/Cas9构建的TTP小鼠模型的实验研究
-
批准号:82070117
-
项目类别:面上项目
-
资助金额:55.0万元
-
批准年份:2020
-
负责人:骆晓峰
-
依托单位:
锌指蛋白TTP介导的C型钠肽mRNA 降解参与卵母细胞减数分裂恢复的机制
-
批准号:31972573
-
项目类别:面上项目
-
资助金额:57.0万元
-
批准年份:2019
-
负责人:安磊
-
依托单位: