Extensible access control with authorization contracts

Scott Moore, Christos Dimoulas, Robby Findler, Matthew Flatt, Stephen Chong. Extensible access control with authorization contracts. 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 214-233, ACM, 2016. [doi]

@inproceedings{MooreDFFC16,
  title = {Extensible access control with authorization contracts},
  author = {Scott Moore and Christos Dimoulas and Robby Findler and Matthew Flatt and Stephen Chong},
  year = {2016},
  doi = {10.1145/2983990.2984021},
  url = {http://doi.acm.org/10.1145/2983990.2984021},
  researchr = {https://researchr.org/publication/MooreDFFC16},
  cites = {0},
  citedby = {0},
  pages = {214-233},
  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},
}