@InProceedings{AskarovMDC2015,
  author = 	 {Aslan Askarov and Scott Moore and Christos Dimoulas and Stephen Chong},
  title = 	 {Cryptographic Enforcement of Language-Based Erasure},
  booktitle =	 {Proceedings of the 28th {IEEE} Computer Security Foundations Symposium},
  year = 	 2015,
  month = 	 jul,
  publisher =    {IEEE Press},
  address = 	 {Piscataway, NJ, USA}
}