Faceted execution of policy-agnostic programs

It is important for applications to protect sensitive data. Even for simple confidentiality and integrity policies, it is often difficult for programmers to reason about how the policies should interact and how to enforce policies across the program. A promising approach is policy-agnostic programmi...

Full description

Bibliographic Details
Main Authors: Austin, Thomas H., Yang, Jean, Flanagan, Cormac, Solar-Lezama, Armando
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:en_US
Published: Association for Computing Machinery (ACM) 2014
Online Access:http://hdl.handle.net/1721.1/90875
https://orcid.org/0000-0001-7604-8252
https://orcid.org/0000-0002-3995-291X