Precise, dynamic information flow for database-backed applications
We present an approach for dynamic information flow control across the application and database. Our approach reduces the amount of policy code required, yields formal guarantees across the application and database, works with existing relational database implementations, and scales for realistic ap...
Main Authors: | Yang, Jean (Author), Hance, Travis (Author), Austin, Thomas H. (Author), Flanagan, Cormac (Author), Chong, Stephen (Author), Solar Lezama, Armando (Contributor) |
---|---|
Other Authors: | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor) |
Format: | Article |
Language: | English |
Published: |
Association for Computing Machinery,
2017-12-29T19:45:12Z.
|
Subjects: | |
Online Access: | Get fulltext |
Similar Items
-
Faceted execution of policy-agnostic programs
by: Austin, Thomas H., et al.
Published: (2014) -
Optimizing database-backed applications with query synthesis
by: Cheung, Alvin K., et al.
Published: (2014) -
Sloth: Being Lazy is a Virtue (When Issuing Database Queries)
by: Cheung, Alvin K., et al.
Published: (2014) -
Learning to acquire information
by: Pu, Yewen, et al.
Published: (2021) -
Program sketching
by: Solar Lezama, Armando
Published: (2017)