AF: Small: How to Let an Adversary Compute for You

互联网革命使世界各地的私人用户能够相互发送和接收消息。再加上公钥加密和数字签名等加密技术，这引发了万维网、电子商务和许多其他我们今天习以为常的技术变革的发展。我们现在正面临着第二次革命，在这场革命中，我们不仅改变了我们的沟通方式，也改变了我们的计算方式。我们越来越多地将大型数据集发送到不受信任的服务器，让它们代表我们执行计算。通过我们的手机和GPS设备，我们向服务提供商发送不安全的信息，以便将我们无法在路上进行的计算外包出去。密码学在这些新兴环境中扮演着新的角色。国际密码学计划探索在这一背景下出现的密码学挑战的理论基础。建议的研究方向涉及以下问题：--我们如何在保持加密数据隐私的同时，安全地允许其他人对我们的加密数据进行计算？--我们如何验证外包计算是正确进行的？--在这个新的、高度交互的环境中需要哪些更强大的安全模型？PI将解决这些问题的理论方面，包括建模、协议设计和负面结果。作为她研究的一部分，Pi将研究完全同态加密和函数加密的强大密码原语(特别是它们与外包和可验证计算之间的关系)，以及防泄漏密码学领域。

The Internet revolution enabled private users across the world to send and receive messages to one another. Coupled with cryptographic techniques like public key encryption and digital signatures, this gave rise to the development of the world wide web, e-commerce, and so many other technological changes that we routinely take for granted today. We are now facing a second revolution in which we are changing not just how we communicate, but how we compute. More and more we are sending large datasets to untrusted servers, having them perform calculations on our behalf. From our cell phones and our GPS units, we send compromising information to our service providers in order to outsource the computation that we cannot do on-the-go. Cryptography has a new role to play in these emerging environments.The PI intends to explore the theoretical underpinnings of the cryptographic challenges that arise in this context. The proposed directions of research touch on the following questions:-- How can we safely allow others to perform computation on our encrypted data while maintaining its privacy?-- How can we verify that outsourced computation was done correctly?-- What stronger security models are needed in this new, highly interactive environment?The PI will address the theoretical aspects of these problems, including modeling, protocol design, and negative results. As part of her investigations, PI will study the powerful cryptographic primitives of fully homomorphic encryption and functional encryption (in particular, the relationship between them and outsourced and verifiable computations), as well as the area of leakage-resilient cryptography.