Onward! 2015
Sun 25 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
Thu 29 Oct 2015 13:52 - 14:15 at Grand Station 3-5 - Session the Second Chair(s): Karim Ali

In this paper we challenge the widely accepted practice that web applications must be trusted with user data. We present an alternative model based on logic programming, where user data and applications are equal peers in a shared cloud environment. User data is represented as a set of facts. The application is represented as a set of rules defining how user data is to be processed, but is not given direct access to the data. This way, users remain the owners of their own data, able to determine who can see it and who can modify it. For concreteness, we define a data representation and query language, named Cloudlog, for a new family of NoDatalog databases. We add access control to the language for guaranteeing that the rules provided by the application cannot change the choices made by users. We demonstrate how business logic can be expressed in Cloudlog, and discuss how an efficient Cloudlog-based database can be implemented.

Thu 29 Oct

13:30 - 15:00: Onward! Papers - Session the Second at Grand Station 3-5
Chair(s): Karim AliTU Darmstadt
onward2015-papers144612180000013:30 - 13:52
Mattias De WaelVrije Universiteit Brussel, Stefan MarrINRIA, France, Joeri De KosterVrije Universiteit Brussel, Jennifer SartorVrije Universiteit Brussel + University Ghent, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication DOI
onward2015-papers144612315000013:52 - 14:15
David H. LorenzOpen University and Technion IIT, Boaz RosenanUniversity of Haifa
Media Attached
onward2015-papers144612450000014:15 - 14:37
Junsong LiBrown University, Justin Pombrio, Joe Gibbs PolitzSwarthmore College, Shriram KrishnamurthiBrown University
Media Attached
onward2015-papers144612585000014:37 - 15:00
Ethan HolderVirginia Tech, Eli TilevichVirginia Tech, Amy GillickVirginia Tech