{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:43:54Z","timestamp":1750308234195,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,1,10]],"date-time":"2005-01-10T00:00:00Z","timestamp":1105315200000},"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":[[2005,1,10]]},"DOI":"10.1145\/1040294.1040304","type":"proceedings-article","created":{"date-parts":[[2005,1,30]],"date-time":"2005-01-30T17:55:16Z","timestamp":1107107716000},"page":"103-112","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":51,"title":["Non-interference for a JVM-like language"],"prefix":"10.1145","author":[{"given":"Gilles","family":"Barthe","sequence":"first","affiliation":[{"name":"INRIA Sophia Antipolis, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tamara","family":"Rezk","sequence":"additional","affiliation":[{"name":"INRIA Sophia Antipolis, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,1,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796804005453"},{"key":"e_1_3_2_1_2_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/978-3-540-24622-0_2","volume-title":"Proceedings of VMCAI'04","author":"Barthe G.","year":"2004","unstructured":"G. Barthe , A. Basu , and T. Rezk . Security types preserving compilation . In B. Steffen and G. Levi, editors, Proceedings of VMCAI'04 , volume 2934 of Lecture Notes in Computer Science , pages 2 -- 15 . Springer-Verlag , 2004 .]] G. Barthe, A. Basu, and T. Rezk. Security types preserving compilation. In B. Steffen and G. Levi, editors, Proceedings of VMCAI'04, volume 2934 of Lecture Notes in Computer Science, pages 2--15. Springer-Verlag, 2004.]]"},{"key":"e_1_3_2_1_3_1","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Proceedings of VMCAI'02","author":"Bernardeschi C.","year":"2002","unstructured":"C. Bernardeschi and N. De Francesco . Combining Abstract Interpretation and Model Checking for analysing Security Properties of Java Bytecode . In A. Cortesi, editor, Proceedings of VMCAI'02 , volume 2294 of Lecture Notes in Computer Science , pages 1 -- 15 , 2002 .]] C. Bernardeschi and N. De Francesco. Combining Abstract Interpretation and Model Checking for analysing Security Properties of Java Bytecode. In A. Cortesi, editor, Proceedings of VMCAI'02, volume 2294 of Lecture Notes in Computer Science, pages 1--15, 2002.]]"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/773069.773073"},{"key":"e_1_3_2_1_5_1","volume-title":"SIFTAL: A Typed Assembly Language for Secure Information Flow Analysis","author":"Bonelli E.","year":"2004","unstructured":"E. Bonelli , A. Compagnoni , and R. Medel . SIFTAL: A Typed Assembly Language for Secure Information Flow Analysis , 2004 . Manuscript .]] E. Bonelli, A. Compagnoni, and R. Medel. SIFTAL: A Typed Assembly Language for Secure Information Flow Analysis, 2004. Manuscript.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v16:7"},{"key":"e_1_3_2_1_7_1","volume-title":"January","author":"Team Coq Development","year":"2004","unstructured":"Coq Development Team . The Coq Proof Assistant User's Guide. Versio 8.0 , January 2004 .]] Coq Development Team. The Coq Proof Assistant User's Guide. Versio 8.0, January 2004.]]"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025011624925"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30579-8_23"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/512927.512945"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025055424017"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268954"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292561"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/596980.596983"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"e_1_3_2_1_17_1","volume-title":"Verification, Validation","author":"St\u00e4rk R.","year":"2001","unstructured":"R. St\u00e4rk , J. Schmid , and E. B\u00f6rger . Java and the Java Virtual Machine - Definition , Verification, Validation . Springer-Verlag , 2001 .]] R. St\u00e4rk, J. Schmid, and E. B\u00f6rger. Java and the Java Virtual Machine - Definition, Verification, Validation. Springer-Verlag, 2001.]]"},{"key":"e_1_3_2_1_18_1","volume-title":"Technische Universit\u00e4t M\u00fcnchen","author":"Strecker M.","year":"2003","unstructured":"M. Strecker . Formal analysis of an information flow type system for MicroJava (extended version). Technical report , Technische Universit\u00e4t M\u00fcnchen , July 2003 .]] M. Strecker. Formal analysis of an information flow type system for MicroJava (extended version). Technical report, Technische Universit\u00e4t M\u00fcnchen, July 2003.]]"},{"key":"e_1_3_2_1_19_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/3-540-45309-1_4","volume-title":"Proceedings of ESOP'01","author":"Zdancewic S.","year":"2001","unstructured":"S. Zdancewic and A. Myers . Secure information flow and CPS . In D. Sands, editor, Proceedings of ESOP'01 , volume 2028 of Lecture Notes in Computer Science , pages 46 -- 61 . Springer-Verlag , 2001 .]] S. Zdancewic and A. Myers. Secure information flow and CPS. In D. Sands, editor, Proceedings of ESOP'01 , volume 2028 of Lecture Notes in Computer Science, pages 46--61. Springer-Verlag, 2001.]]"},{"key":"e_1_3_2_1_20_1","volume-title":"Informal proceedings of PLID'04","author":"Zwandewic S.","year":"2004","unstructured":"S. Zwandewic . Challenges in information flow security. In R. Giacobazzi, editor , Informal proceedings of PLID'04 , 2004 .]] S. Zwandewic. Challenges in information flow security. In R. Giacobazzi, editor, Informal proceedings of PLID'04, 2004.]]"}],"event":{"name":"TLDI05: International Workshop on Types in Language Design and Implementation 2005","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Long Beach California USA","acronym":"TLDI05"},"container-title":["Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1040294.1040304","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1040294.1040304","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:31:46Z","timestamp":1750264306000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1040294.1040304"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,1,10]]},"references-count":19,"alternative-id":["10.1145\/1040294.1040304","10.1145\/1040294"],"URL":"https:\/\/doi.org\/10.1145\/1040294.1040304","relation":{},"subject":[],"published":{"date-parts":[[2005,1,10]]},"assertion":[{"value":"2005-01-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}