@inproceedings{bain:2011:domain,
  author    = {Alex Bain and John Mitchell and Rahul Sharma and Deian Stefan and Joe Zimmerman},
  title     = {A Domain-Specific Language for Computing on Encrypted Data},
  booktitle = {Foundations of Software Technology and Theoretical Computer Science (FSTTCS)},
  month     = {December},
  year      = {2011},
  publisher = {LIPIcs},
  note      = {Invited paper}
}