Securing Computation

该项目将支持西蒙斯计算理论研究所关于安全计算的讲习班。智能设备、云计算和社交计算、存储外包和数据挖掘、分布式系统和基于网络的服务的融合正在改变计算的面貌。为了在这些计算模式下实现数据安全，拟议的讲习班将解决基本问题，例如：如何对存储在多个地点的加密数据进行计算？如何将计算外包给第三方，并以最小的开销验证结果的正确性？如何在需要知道的基础上提供对加密数据部分的选定访问权限？这次适时的研讨会将把来自不同背景的研究人员和学生聚集在一起，为这一非常重要的主题做出贡献。学生们将有机会与该领域的专家互动。研讨会的材料和调查结果将公之于众。

This project will support the workshop on securing computation at the Simons Institute for the Theory of Computing. The confluence of smart devices, cloud and social computing, storage outsourcing and data mining, distributed systems and web-based services is changing the face of computing. To achieve data security in the face of these modes of computation the proposed workshop will tackle fundamental questions such as: How to perform computations on encrypted data stored in multiple locations? How to outsource computation to a third party and verify the correctness of the results with minimal overhead? How to provide selected access to parts of the encrypted data on a need-to-know basis? This timely workshop will bring together researchers and students from diverse backgrounds to contribute to this highly important topic. The students will have the opportunity to interact with experts in the field. The materials and findings from workshop will be made publically available.