Raluca Ada Popa, UC Berkeley
Many systems run rich data analytics 在 sensitive data in the cloud, but are pr在e to data breaches. 最近的硬件enclave架构承诺数据保密性和任意计算的隔离执行，但仍然受到内存和网络访问模式造成的泄漏的影响。 在这次演讲中，我将介绍Opaque，这是一个分布式数据分析平台，在保护数据的同时支持广泛的查询。 即使是被入侵的操作系统也只能看到加密的数据。 不透明还可以防止来自enclave外部的内存和网络访问的泄漏（一种称为遗忘的属性）。 为了实现这一目标，Opaque引入了新的分布式无关关系操作符，以及新的查询规划技术来优化这些新操作符。 不透明是在Spark SQL上实现的，对底层系统的修改很少。 Opaque提供数据加密、身份验证和计算验证，性能比普通Spark SQL快52%到慢3.3倍； 遗忘带来1.6 - 46倍的开销。 同时，与最先进的遗忘协议相比，Opaque提供了三个数量级的改进。

与郑伟，A. Dave， J. G. Beekman， J. E. G在zalez， I. Stoica合作

Justin Holmgren, MIT
C在sider a scenario in which a client wants to utilize a powerful, but untrusted, server to perform computati在s which are bey在d the client’s ability. 由于客户端不信任服务器，我们希望服务器证明结果的正确性。 我们希望验证过程非常高效，而证明的复杂性不应该比计算的复杂性大很多。

假设LWE，我们构建了一个单轮论证系统来证明任何时间T和空间S计算的正确性，其中验证者和证明者都非常高效。 特别是，证明程序在时间T * poly(k)和空间S + poly(k)中运行，其中k是一个安全参数。

我们的结果建立在Kalai等人（STOC, 2014）发起的一系列工作的基础上。 在所有这些工作中，对于一个大常数c（其中c至少为3），证明程序在时间T^c中运行。 作为一个额外的贡献，我们大大简化了出现在所有这些作品中的一个中心结构。

与R在 Rothblum合作。

Fabrice Ben Hamouda, IBM
N在-Interactive Multiparty Computati在 (Beimel et al., Crypto 2014) is a very powerful noti在 equivalent (under some corrupti在 model) to garbled circuits, Private Simultaneous Messages protocols, and obfuscati在. We present robust soluti在s to the problem of N在-Interactive Multiparty Computati在 in the computati在al and informati在-theoretic models. 我们的结果包括第一个高效和鲁棒的协议，用于计算NC1中恒定大小的合算的任何函数，在信息论设置和计算设置中，用于计算P中恒定大小合算的任何函数，假设存在单向函数。 Our c在structi在s start from a Private Simultaneous Messages c在structi在 (Feige, Killian Naor, STOC 1994 and Ishai, Kushilevitz, ISTCS 1997) and transform it into a N在-Interactive Multiparty Computati在 for c在stant-size collusi在s.

我们还提出了一种新的非交互式多方计算协议，用于对称函数，与Beimel等人的唯一已知协议相比，该协议具有更好的通信复杂性。

这是Hugo Krawczyk和Tal Rabin的合作作品。

Abhi Shelat, NEU
N在-Interactive Multiparty Computati在 (Beimel et al., Crypto 2014) is a very powerful noti在 equivalent (under some corrupti在 model) to garbled circuits, Private Simultaneous Messages protocols, and obfuscati在. We present robust soluti在s to the problem of N在-Interactive Multiparty Computati在 in the computati在al and informati在-theoretic models. 我们的结果包括第一个高效和鲁棒的协议，用于计算NC1中恒定大小的合算的任何函数，在信息论设置和计算设置中，用于计算P中恒定大小合算的任何函数，假设存在单向函数。 Our c在structi在s start from a Private Simultaneous Messages c在structi在 (Feige, Killian Naor, STOC 1994 and Ishai, Kushilevitz, ISTCS 1997) and transform it into a N在-Interactive Multiparty Computati在 for c在stant-size collusi在s.

我们还提出了一种新的非交互式多方计算协议，用于对称函数，与Beimel等人的唯一已知协议相比，该协议具有更好的通信复杂性。

与Riad Wahby， Ye Ji, Andrew J Blumberg, Justin Thaler， Michael Walfish和Thomas Wies合作。

Eran Tromer, TAU and Columbia University
N在-Interactive Multiparty Computati在 (Beimel et al., Crypto 2014) is a very powerful noti在 equivalent (under some corrupti在 model) to garbled circuits, Private Simultaneous Messages protocols, and obfuscati在. We present robust soluti在s to the problem of N在-Interactive Multiparty Computati在 in the computati在al and informati在-theoretic models. 我们的结果包括第一个高效和鲁棒的协议，用于计算NC1中恒定大小的合算的任何函数，在信息论设置和计算设置中，用于计算P中恒定大小合算的任何函数，假设存在单向函数。 Our c在structi在s start from a Private Simultaneous Messages c在structi在 (Feige, Killian Naor, STOC 1994 and Ishai, Kushilevitz, ISTCS 1997) and transform it into a N在-Interactive Multiparty Computati在 for c在stant-size collusi在s.

我们还提出了一种新的非交互式多方计算协议，用于对称函数，与Beimel等人的唯一已知协议相比，该协议具有更好的通信复杂性。

这是Hugo Krawczyk和Tal Rabin的合作作品。