Automatic enforcement of expressive security policies using enclaves

Anitha Gollamudi, Stephen Chong. Automatic enforcement of expressive security policies using enclaves. In Eelco Visser, Yannis Smaragdakis, editors, Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016. pages 494-513, ACM, 2016. [doi]

@inproceedings{GollamudiC16,
  title = {Automatic enforcement of expressive security policies using enclaves},
  author = {Anitha Gollamudi and Stephen Chong},
  year = {2016},
  doi = {10.1145/2983990.2984002},
  url = {http://doi.acm.org/10.1145/2983990.2984002},
  researchr = {https://researchr.org/publication/GollamudiC16},
  cites = {0},
  citedby = {0},
  pages = {494-513},
  booktitle = {Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016},
  editor = {Eelco Visser and Yannis Smaragdakis},
  publisher = {ACM},
  isbn = {978-1-4503-4444-9},
}