{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:41Z","timestamp":1772163941191,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T00:00:00Z","timestamp":1192320000000},"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":[[2007,10,14]]},"DOI":"10.1145\/1294261.1294265","type":"proceedings-article","created":{"date-parts":[[2007,10,19]],"date-time":"2007-10-19T12:15:18Z","timestamp":1192796118000},"page":"31-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":135,"title":["Secure web applications via automatic partitioning"],"prefix":"10.1145","author":[{"given":"Stephen","family":"Chong","sequence":"first","affiliation":[{"name":"Cornell University, Ithaca, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jed","family":"Liu","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew C.","family":"Myers","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xin","family":"Qi","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Vikram","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lantian","family":"Zheng","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xin","family":"Zheng","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,10,14]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"Hans Bergsten. JavaServer Pages. O'Reilly & Associates Inc. 3rd edition 2003.   Hans Bergsten. JavaServer Pages. O'Reilly & Associates Inc. 3rd edition 2003."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2006.11"},{"key":"e_1_3_2_2_3_1","volume-title":"Proc. 16th USENIX Security Symposium","author":"Chong Stephen","year":"2007","unstructured":"Stephen Chong , K. Vikram , and Andrew C. Myers . SIF: Enforcing confidentiality and integrity in web applications . In Proc. 16th USENIX Security Symposium , August 2007 . Stephen Chong, K. Vikram, and Andrew C. Myers. SIF: Enforcing confidentiality and integrity in web applications. In Proc. 16th USENIX Security Symposium, August 2007."},{"key":"e_1_3_2_2_4_1","volume-title":"Proc. 5th International Symposium on Formal Methods for Components and Objects","author":"Cooper Ezra","year":"2006","unstructured":"Ezra Cooper , Sam Lindley , Philip Wadler , and Jeremy Yallop . Links : Web programming without tiers . In Proc. 5th International Symposium on Formal Methods for Components and Objects , November 2006 . Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop. Links: Web programming without tiers. In Proc. 5th International Symposium on Formal Methods for Components and Objects, November 2006."},{"key":"e_1_3_2_2_5_1","volume-title":"Introduction to Algorithms","author":"Cormen Thomas A.","year":"1990","unstructured":"Thomas A. Cormen , Charles E. Leiserson , and Ronald L. Rivest . Introduction to Algorithms . MIT Press , 1990 . Thomas A. Cormen, Charles E. Leiserson, and Ronald L. Rivest. Introduction to Algorithms. MIT Press, 1990."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/359636.359712"},{"key":"e_1_3_2_2_7_1","volume-title":"Implementing Goldberg's max-flow algorithm -- a computational investigation. ZOR -- Methods and Models of Operations Research, 33:383--403","author":"Derigs U.","year":"1989","unstructured":"U. Derigs and W. Meier . Implementing Goldberg's max-flow algorithm -- a computational investigation. ZOR -- Methods and Models of Operations Research, 33:383--403 , 1989 . U. Derigs and W. Meier. Implementing Goldberg's max-flow algorithm -- a computational investigation. ZOR -- Methods and Models of Operations Research, 33:383--403, 1989."},{"key":"e_1_3_2_2_8_1","volume-title":"JavaScript: The Definitive Guide. O'Reilly","author":"Flanagan David","year":"2002","unstructured":"David Flanagan . JavaScript: The Definitive Guide. O'Reilly , 4 th edition, 2002 . David Flanagan. JavaScript: The Definitive Guide. O'Reilly, 4th edition, 2002.","edition":"4"},{"key":"e_1_3_2_2_9_1","unstructured":"Google Web Toolkit. http:\/\/code.google.com\/webtoolkit\/.  Google Web Toolkit. http:\/\/code.google.com\/webtoolkit\/."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101935"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/988672.988679"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.29"},{"key":"e_1_3_2_2_13_1","first-page":"287","volume-title":"Proc. 13th Usenix Security Symposium","author":"Malkhi Dahlia","year":"2004","unstructured":"Dahlia Malkhi , Noam Nisan , Benny Pinkas , and Yaron Sella . Fairplay--a secure two-party computation system . In Proc. 13th Usenix Security Symposium , pages 287 -- 302 , San Diego, CA , August 2004 . Dahlia Malkhi, Noam Nisan, Benny Pinkas, and Yaron Sella. Fairplay--a secure two-party computation system. In Proc. 13th Usenix Security Symposium, pages 287--302, San Diego, CA, August 2004."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292561"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/363516.363526"},{"key":"e_1_3_2_2_16_1","unstructured":"Andrew C. Myers Lantian Zheng Steve Zdancewic Stephen Chong and Nathaniel Nystrom. Jif: Java information flow. Software release http:\/\/www.cs.cornell.edu\/jif July 2001.  Andrew C. Myers Lantian Zheng Steve Zdancewic Stephen Chong and Nathaniel Nystrom. Jif: Java information flow. Software release http:\/\/www.cs.cornell.edu\/jif July 2001."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-25660-1_20"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765931.1765947"},{"key":"e_1_3_2_2_19_1","unstructured":"PHP\n  : hypertext processor. http:\/\/www.php.net.  PHP: hypertext processor. http:\/\/www.php.net."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/800194.805852"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176617.1176756"},{"key":"e_1_3_2_2_23_1","unstructured":"Java Swing (Java Foundation Classes) http:\/\/java.sun.com\/javase\/technologies\/desktop.  Java Swing (Java Foundation Classes) http:\/\/java.sun.com\/javase\/technologies\/desktop."},{"key":"e_1_3_2_2_24_1","volume-title":"Symantec Corporation","author":"Symantec","year":"2006","unstructured":"Symantec Internet security threat report, volume X . Symantec Corporation , September 2006 . Symantec Internet security threat report, volume X. Symantec Corporation, September 2006."},{"key":"e_1_3_2_2_25_1","volume-title":"Programming Ruby: The Pragmatic Programmers' Guide. The Pragmatic Programmers","author":"Thomas Dave","year":"2004","unstructured":"Dave Thomas , Chad Fowler , and Andy Hunt . Programming Ruby: The Pragmatic Programmers' Guide. The Pragmatic Programmers , 2 nd edition, 2004 . ISBN 0-974-51405-5. Dave Thomas, Chad Fowler, and Andy Hunt. Programming Ruby: The Pragmatic Programmers' Guide. The Pragmatic Programmers, 2nd edition, 2004. ISBN 0-974-51405-5.","edition":"2"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/646620.697712"},{"key":"e_1_3_2_2_27_1","first-page":"179","volume-title":"Proc. 15th USENIX Security Symposium","author":"Xie Yichen","year":"2006","unstructured":"Yichen Xie and Alex Aiken . Static detection of security vulnerabilities in scripting languages . In Proc. 15th USENIX Security Symposium , pages 179 -- 192 , July 2006 . Yichen Xie and Alex Aiken. Static detection of security vulnerabilities in scripting languages. In Proc. 15th USENIX Security Symposium, pages 179--192, July 2006."},{"key":"e_1_3_2_2_28_1","first-page":"121","volume-title":"Proc. 15th USENIX Security Symposium","author":"Xu Wei","year":"2006","unstructured":"Wei Xu , Sandeep Bhatkar , and R. Sekar . Taint-enhanced policy enforcement: A practical approach to defeat a wide range of attacks . In Proc. 15th USENIX Security Symposium , pages 121 -- 136 , August 2006 . Wei Xu, Sandeep Bhatkar, and R. Sekar. Taint-enhanced policy enforcement: A practical approach to defeat a wide range of attacks. In Proc. 15th USENIX Security Symposium, pages 121--136, August 2006."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1242572.1242619"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2006.75"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190252"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/566340.566343"},{"key":"e_1_3_2_2_33_1","first-page":"236","volume-title":"Proc. IEEE Symposium on Security and Privacy","author":"Zheng Lantian","year":"2003","unstructured":"Lantian Zheng , Stephen Chong , Andrew C. Myers , and Steve Zdancewic . Using replication and partitioning to build secure distributed systems . In Proc. IEEE Symposium on Security and Privacy , pages 236 -- 250 , Oakland, California , May 2003 . Lantian Zheng, Stephen Chong, Andrew C. Myers, and Steve Zdancewic. Using replication and partitioning to build secure distributed systems. In Proc. IEEE Symposium on Security and Privacy, pages 236--250, Oakland, California, May 2003."}],"event":{"name":"SOSP07: ACM SIGOPS 21st Symposium on Operating Systems Principles 2007","location":"Stevenson Washington USA","acronym":"SOSP07","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","ACM Association for Computing Machinery"]},"container-title":["Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1294261.1294265","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1294261.1294265","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:22Z","timestamp":1750243942000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1294261.1294265"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,14]]},"references-count":32,"alternative-id":["10.1145\/1294261.1294265","10.1145\/1294261"],"URL":"https:\/\/doi.org\/10.1145\/1294261.1294265","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1323293.1294265","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,10,14]]},"assertion":[{"value":"2007-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}