EAGER: Collaborative: Holistic Security for Cloud Computing: Oblivious Computation
EAGER: Collaborative: Holistic Security for Cloud Computing: Oblivious Computation
批准号:
1347279
负责人:
Srini Devadas
金额:
$10.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2013
资助国家:
美国
项目状态:
已结题
起止时间:
2013-09-01 至 2017-02-28
中文摘要
更广泛地采用云存储和计算服务的主要障碍之一是需要保持数据隐私。最近,一些研究团体已经开始探索新的技术,允许客户端将私有数据的存储和计算外包给可能不受信任的云服务,同时保持数据的隐私。这些技术根据大量因素而变化很大,例如输入和输出数据的所有权,所需的处理类型,所需的保护级别以及客户愿意对外包服务的不同组成部分的信任程度。这个高度合作的项目结合了许多不同领域的专业知识,其目的是从根本上改变外包数据和计算在真实的世界中被感知和使用的方式。该项目的重点是找到一种模块化的方法来规范,设计和分析外包计算环境中的隐私保护机制。研究人员探索了一个广泛的解决方案空间,该空间结合了算法技术、受信任硬件的有限使用以及分布式计算和信任,并创建了一个通用框架,允许人们以模块化和可组合的方式比较和分析截然不同的解决方案。该项目还将探讨这些解决方案中的每一个可以实现的理论和实践限制,并磨练出一个可行的解决方案,该解决方案可能结合了许多不同的技术,以实现效率和安全性的正确平衡。
英文摘要
One of the main impediment to a wider adoption of cloud storage and computing services is the need to keep data private. Recently, several research communities have begun exploring new techniques that allow a client to outsource storage and computation over private data to a potentially untrusted cloud service, while maintaining the privacy of the data. These techniques are highly varied depending on a large number of factors, like the ownership of the input and output data, the type of processing required, the desired level of protection, and the level of trust that the client is willing to put in different components of the outsourcing service. This highly collaborative project combines many different areas of expertise with the aim of substantially changing the way outsourced data and computation are perceived and used in the real world.This project focuses on finding a modular approach to the specification, design and analysis of privacy preserving mechanisms in the context of outsourced computation. The investigators explore a broad solution space that combines algorithmic techniques, limited use of trusted hardware, and distributed computation and trust, and create a common framework that allows one to compare and analyze vastly different solutions in a modular and composable manner. The project will also explore the theoretical and practical limits of what each of these solutions can achieve and hone in on a practical solution that possibly combines many different techniques to achieve the right balance of efficiency and security.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
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
-
依托单位:
TWC: TTP Option: Frontier: Collaborative: MACS: A Modular Approach to Cloud Security
-
批准号:1413920
-
项目类别:Continuing Grant
-
资助金额:$320.0万
-
财政年份:2014
-
负责人: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
-
依托单位:
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
-
依托单位:
海外基金