John Mitchell : 2011 Security Workshop


Monday, April 11, 2011
Location: Fisher Conference Center, Arrillaga Alumni Center

"Programming on Encrypted Data"
10:00am - 10:30am


Cloud computing allows clients to offload computation and data storage to low-cost large-scale servers. However, cloud computing also expose sensitive data to potentially untrusted servers. Ideally, we would all like to encrypt our data on the cloud. But how can cloud services operate on encrypted data without decrypting it and exposing it to cloud threats? Fortunately, recent advances in secure multiparty computation and breakthroughs in homomorphic encryption make it possible to perform varied and useful computation on encrypted data, without exposing plaintext data. However, a number of scientific and engineering challenges must be overcome for this future to become a reality. In this talk, we will discuss our project to develop a software development infrastructure for programming on combinations of encrypted and unencrypted data. Among other goals, we wish to allow programmers to write code that can be run on a variety of different execution architectures, according to a user's tradeoffs between computational cost, efficiency, and envisioned threat models.


John Mitchell is the Mary and Gordon Crary Family Professor in the Stanford Computer Science Department. His research in computer security focuses on trust management, privacy, security analysis of network protocols, and web security. He has also worked on programming language analysis and design, formal methods, and other applications of mathematical logic to computer science. Prof. Mitchell is currently involved in the multi-university PORTIA research project to study privacy concerns in databases and information processing systems, and the NSF TRUST Center.