@TechReport{MooreDFFC2016tr,
  author = 	 {Scott Moore and Christos Dimoulas and Matthew Flatt and Findler, Robert Bruce and Stephen Chong},
  title = 	 {Extensible Access Control with Authorization Contracts},
  institution =  {Harvard University},
  year = 	 2016,
  number = 	 {TR-03-16}
}