{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,26]],"date-time":"2026-09-26T04:18:47Z","timestamp":1790396327297,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,6,2]],"date-time":"2016-06-02T00:00:00Z","timestamp":1464825600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,6,2]]},"DOI":"10.1145\/2908080.2908098","type":"proceedings-article","created":{"date-parts":[[2016,6,2]],"date-time":"2016-06-02T15:23:42Z","timestamp":1464881022000},"page":"631-647","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":28,"title":["Precise, dynamic information flow for database-backed applications"],"prefix":"10.1145","author":[{"given":"Jean","family":"Yang","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, USA \/ Harvard Medical School, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Travis","family":"Hance","sequence":"additional","affiliation":[{"name":"Dropbox, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas H.","family":"Austin","sequence":"additional","affiliation":[{"name":"San Jose State University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Armando","family":"Solar-Lezama","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cormac","family":"Flanagan","sequence":"additional","affiliation":[{"name":"University of California at Santa Cruz, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stephen","family":"Chong","sequence":"additional","affiliation":[{"name":"Harvard University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The web framework for perfectionists with deadlines. https:\/\/www.djangoproject.com, accessed","author":"Django","year":"2015","unstructured":"Django : The web framework for perfectionists with deadlines. https:\/\/www.djangoproject.com, accessed July 3, 2015 . Django: The web framework for perfectionists with deadlines. https:\/\/www.djangoproject.com, accessed July 3, 2015."},{"key":"e_1_3_2_1_2_1","volume-title":"http:\/\/funkload.nuxeo.org, accessed","year":"2015","unstructured":"Funkload. http:\/\/funkload.nuxeo.org, accessed July 3, 2015 . Funkload. http:\/\/funkload.nuxeo.org, accessed July 3, 2015."},{"key":"e_1_3_2_1_3_1","volume-title":"Download PC review assignments obeys paper administrators. https:\/\/github.com\/kohler\/hotcrp\/commit\/ 80ff96606bbe26e242ac7ebca85b440f2dbffebb, accessed","author":"CRP","year":"2015","unstructured":"Hot CRP bug report : Download PC review assignments obeys paper administrators. https:\/\/github.com\/kohler\/hotcrp\/commit\/ 80ff96606bbe26e242ac7ebca85b440f2dbffebb, accessed July 3, 2015 . HotCRP bug report: Download PC review assignments obeys paper administrators. https:\/\/github.com\/kohler\/hotcrp\/commit\/ 80ff96606bbe26e242ac7ebca85b440f2dbffebb, accessed July 3, 2015."},{"key":"e_1_3_2_1_4_1","volume-title":"https:\/\/github.com\/lihaoyi\/macropy, accessed","year":"2015","unstructured":"MacroPy. https:\/\/github.com\/lihaoyi\/macropy, accessed July 3, 2015 . MacroPy. https:\/\/github.com\/lihaoyi\/macropy, accessed July 3, 2015."},{"key":"e_1_3_2_1_5_1","volume-title":"Workshop on the Theory and Practice of Provenance","author":"Anderson P.","year":"2012","unstructured":"P. Anderson and J. Cheney . Toward provenance-based security for configuration languages . In Workshop on the Theory and Practice of Provenance , 2012 . P. Anderson and J. Cheney. Toward provenance-based security for configuration languages. In Workshop on the Theory and Practice of Provenance, 2012."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.22"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465106.2465121"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.32"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.16"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706339"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_13"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.2008.50"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806643"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2011.26"},{"key":"e_1_3_2_1_15_1","volume-title":"Symposium on Operating Systems Design and Implementation, OSDI","author":"Chlipala A.","year":"2010","unstructured":"A. Chlipala . Static checking of dynamically-varying security policies in database-backed applications . In Symposium on Operating Systems Design and Implementation, OSDI , 2010 . A. Chlipala. Static checking of dynamically-varying security policies in database-backed applications. In Symposium on Operating Systems Design and Implementation, OSDI, 2010."},{"key":"e_1_3_2_1_16_1","volume-title":"Symposium on USENIX Security, SS\u201907","author":"Chong S.","year":"2007","unstructured":"S. Chong , K. Vikram , and A. C. Myers . Sif: Enforcing confidentiality and integrity in web applications . In Symposium on USENIX Security, SS\u201907 , 2007 . S. Chong, K. Vikram, and A. C. Myers. Sif: Enforcing confidentiality and integrity in web applications. In Symposium on USENIX Security, SS\u201907, 2007."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542483"},{"key":"e_1_3_2_1_18_1","volume-title":"Conference on Web Application Development, WebApps\u201910","author":"Davis B.","year":"2010","unstructured":"B. Davis and H. Chen . DBTaint: Cross-application information flow tracking via databases . In Conference on Web Application Development, WebApps\u201910 , 2010 . B. Davis and H. Chen. DBTaint: Cross-application information flow tracking via databases. In Conference on Web Application Development, WebApps\u201910, 2010."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2699784.2699786"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/359636.359712"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1986.10012"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.15"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062502"},{"key":"e_1_3_2_1_24_1","volume-title":"Symposium on Operating Systems Design and Implementation, OSDI","author":"Giffin D. B.","year":"2012","unstructured":"D. B. Giffin , A. Levy , D. Stefan , D. Terei , D. Mazi\u00e8res , J. C. Mitchell , and A. Russo . Hails: Protecting data privacy in untrusted web applications . In Symposium on Operating Systems Design and Implementation, OSDI , 2012 . D. B. Giffin, A. Levy, D. Stefan, D. Terei, D. Mazi\u00e8res, J. C. Mitchell, and A. Russo. Hails: Protecting data privacy in untrusted web applications. In Symposium on Operating Systems Design and Implementation, OSDI, 2012."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294293"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629606"},{"key":"e_1_3_2_1_29_1","volume-title":"Trustworthy Computing","author":"Louren\u00e7o L.","year":"2013","unstructured":"L. Louren\u00e7o and L. Caires . Information flow analysis for valued-indexed data security compartments . In Trustworthy Computing , 2013 . L. Louren\u00e7o and L. Caires. Information flow analysis for valued-indexed data security compartments. In Trustworthy Computing, 2013."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.55088"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509588"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292561"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393667"},{"key":"e_1_3_2_1_35_1","volume-title":"Summary of the HIPAA privacy rule","author":"Civil Rights Office","year":"2003","unstructured":"Office for Civil Rights . Summary of the HIPAA privacy rule , 2003 . Office for Civil Rights. Summary of the HIPAA privacy rule, 2003."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/596980.596983"},{"key":"e_1_3_2_1_37_1","volume-title":"Symposium on Operating Systems Design & Implementation, OSDI","author":"Rinard M.","year":"2004","unstructured":"M. Rinard , C. Cadar , D. Dumitran , D. M. Roy , T. Leu , and W. S. Beebee , Jr . Enhancing server availability and security through failure-oblivious computing . In Symposium on Operating Systems Design & Implementation, OSDI , 2004 . M. Rinard, C. Cadar, D. Dumitran, D. M. Roy, T. Leu, and W. S. Beebee, Jr. Enhancing server availability and security through failure-oblivious computing. In Symposium on Operating Systems Design & Implementation, OSDI, 2004."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094855.1094866"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/1883978.1884015"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337257"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628151"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30175-2_3"},{"key":"e_1_3_2_1_43_1","volume-title":"Solar-Lezama. 2nd workshop on programming languages technology for massive open online courses. http: \/\/people.csail.mit.edu\/asolar\/plooc2014\/, accessed","author":"A.","year":"2016","unstructured":"A. Solar-Lezama. 2nd workshop on programming languages technology for massive open online courses. http: \/\/people.csail.mit.edu\/asolar\/plooc2014\/, accessed February 25, 2016 . A. Solar-Lezama. 2nd workshop on programming languages technology for massive open online courses. http: \/\/people.csail.mit.edu\/asolar\/plooc2014\/, accessed February 25, 2016."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034811"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661136.2661143"},{"key":"e_1_3_2_1_46_1","volume-title":"March","author":"Warwick A.","year":"2015","unstructured":"A. Warwick . Facebook photo leak flaw raises security concerns. http:\/\/www.computerweekly.com\/news\/2240242708\/ Facebook-photo-leak-flaw-raises-security-concerns , March 2015 . {Online; posted 20-March-2015}. A. Warwick. Facebook photo leak flaw raises security concerns. http:\/\/www.computerweekly.com\/news\/2240242708\/ Facebook-photo-leak-flaw-raises-security-concerns, March 2015. {Online; posted 20-March-2015}."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103669"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629604"},{"key":"e_1_3_2_1_49_1","unstructured":"A. Rules from \u03bb jeeves We show the most relevant rules from the dynamic semantics for the Jeeves core language \u03bb jeeves  A. Rules from \u03bb jeeves We show the most relevant rules from the dynamic semantics for the Jeeves core language \u03bb jeeves"}],"event":{"name":"PLDI '16: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Santa Barbara CA USA","acronym":"PLDI '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2908080.2908098","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2908080.2908098","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:54:50Z","timestamp":1750208090000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2908080.2908098"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,2]]},"references-count":48,"alternative-id":["10.1145\/2908080.2908098","10.1145\/2908080"],"URL":"https:\/\/doi.org\/10.1145\/2908080.2908098","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2980983.2908098","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,6,2]]},"assertion":[{"value":"2016-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}