@inproceedings{Vaughan:2011:AUA:1929553.1929563,
  author = {Vaughan, Jeffrey A.},
  title = {AuraConf: a unified approach to authorization and confidentiality},
  booktitle = {Proceedings of the 7th ACM SIGPLAN workshop on Types 
               in language design and implementation},
  series = {TLDI '11},
  year = {2011},
  isbn = {978-1-4503-0484-9},
  location = {Austin, Texas, USA},
  pages = {45--58},
  numpages = {14},
  url = {http://doi.acm.org/10.1145/1929553.1929563},
  doi = {http://doi.acm.org/10.1145/1929553.1929563},
  acmid = {1929563},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {cryptography, dependent types, information flow},
}