TWC: Medium: Collaborative: New Protocols and Systems for RAM-Based Secure Computation

TWC：媒介：协作：基于 RAM 的安全计算的新协议和系统

• 批准号: 1563722
• 负责人: Jonathan Katz
• 金额: $ 46.42万
• 依托单位: University of Maryland, College Park
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-05-15 至 2021-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1563722&HistoricalAwards=false
• 关键词: TWC; Medium; Collaborative; New; Protocols

Secure computation allows users to collaboratively compute any program on their private data, while ensuring that they learn nothing beyond the output of the computation. Existing protocols for secure computation primarily rely on a boolean-circuit representation for the program being evaluated, which can be highly inefficient. This project focuses on developing secure-computation protocols in the RAM model of computation. Particularly challenging here is the need to ensure that memory accesses are oblivious, and do not leak information about private data. We are designing efficient oblivious data structures that can be used as general-purpose building blocks for secure protocols in the RAM model of computation. This project develops a framework that enables programmers to write high-level code that can then be compiled by a back-end algorithm that analyzes the code and makes use of the oblivious data structures we provide. This work is influenced by the needs of real applications, and the techniques to analyze the exact requirements of the program will evaluated and to tailor the resulting protocol to those requirements. This project aims to develop tools making secure computation more accessible to non-specialists, so it can be more broadly used to perform computations on private data. The PIs on this project mentor both graduate and undergraduate students and actively encourage involvement of minority students. The project develops new course materials and interact with the broader community through involvement in the IEEE cybersecurity initiative and the Maryland Cybersecurity Council.

安全计算允许用户在他们的私有数据上协作计算任何程序，同时确保他们除了计算的输出之外什么也不知道。现有的安全计算协议主要依赖于被评估程序的布尔电路表示，这可能是非常低效的。该项目的重点是在RAM计算模型中开发安全计算协议。这里特别具有挑战性的是需要确保内存访问是不经意的，并且不泄漏关于私有数据的信息。我们正在设计高效的不经意的数据结构，可以用作通用的构建块的安全协议的RAM模型的计算。该项目开发了一个框架，使程序员能够编写高级代码，然后通过后端算法进行编译，该算法分析代码并利用我们提供的不经意的数据结构。这项工作的影响，真实的应用程序的需求，和技术来分析程序的确切要求进行评估，并调整产生的协议，以满足这些要求。该项目旨在开发工具，使非专业人员更容易获得安全计算，因此它可以更广泛地用于对私人数据进行计算。该项目的PI指导研究生和本科生，并积极鼓励少数族裔学生的参与。该项目开发新的课程材料，并通过参与IEEE网络安全倡议和马里兰州网络安全理事会与更广泛的社区互动。