TWC: Small: Techniques and Tools for General-Purpose Secure Computing and Outsourcing

TWC：小型：通用安全计算和外包的技术和工具

• 批准号: 1319090
• 负责人: Marina Blanton
• 金额: $ 14.77万
• 依托单位: University of Notre Dame
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-09-01 至 2016-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1319090&HistoricalAwards=false
• 关键词: TWC; Small; Techniques; Tools; General

The rapid advancement of techniques for secure computation on protected data offers a major incentive for development of tools for general-purpose secure computation that protects data privacy, as opposed to computation of specialized tasks. The recent emergence of cloud computing and the need to protect privacy of sensitive data used in outsourced computation serves as another major motivation for this work. With this in mind, this project targets at developing a compiler suitable for privacy-preserving execution of any functionality specified by a user program. Our compiler transforms a program written in an extension of the C programming language, where data to be protected are marked as private, into its secure distributed implementation in C, which can be consecutively compiled into a binary executable by a native compiler. The goal of the project is to preserve all features of the programming language and enable efficient implementation of user programs using a number of optimization techniques. The secure distributed computation is implemented using secure multi-party techniques on secret-shared data and is suitable for secure collaborative computation and secure computation outsourcing.These techniques will allow for more secure cloud computing, even in the presence of attackers. Other broader impacts include outreach to female middle school girls to increase interest in computer science, a summer school program for graduate students on secure computation in the cloud, and involving students from a nearby predominantly African-American university in the research program.

在受保护数据上进行安全计算的技术的快速进步为开发了用于保护数据隐私的通用工具开发工具，而不是计算专业任务。云计算的最新出现以及保护外包计算中使用的敏感数据隐私的需求是这项工作的另一个主要动机。考虑到这一点，该项目的目标是开发适合于用户程序指定的任何功能的保密执行的编译器。我们的编译器将以C编程语言的扩展为编写的程序进行了转换，其中要保护的数据被标记为私有，将其在C中的安全分布式实现中，可以连续地将本机编译器可执行的二进制汇编为二进制。该项目的目的是保留编程语言的所有功能，并使用多种优化技术有效地实施用户程序。安全的分布式计算是使用Secret Shecre-Shared数据上安全的多方技术实施的，并且适合安全的协作计算和安全的计算外包。这些技术也将允许更安全的云计算，即使在攻击者的存在下也可以进行。 其他更广泛的影响包括向女性中学女孩推广，以增加对计算机科学的兴趣，这是一项针对云中安全计算的研究生的暑期学校计划，以及使附近主要是非裔美国人大学的学生参与研究计划。