Information-flow control for programming on encrypted data

Presented at 25th IEEE Computer Security Foundations Symposium 2012 by

John Mitchell

Rahul Sharma

Deian Stefan

Joe Zimmerman