@inproceedings{mitchell:2012:information,
  author    = {John C. Mitchell and Rahul Sharma and Deian Stefan and Joe Zimmerman},
  title     = {Information-flow control for programming on encrypted data},
  booktitle = {Computer Security Foundations Symposium (CSF)},
  month     = {June},
  year      = {2012},
  publisher = {IEEE},
}