{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:40:15Z","timestamp":1750308015761,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"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":[[2006,10,30]]},"DOI":"10.1145\/1501434.1501481","type":"proceedings-article","created":{"date-parts":[[2009,2,4]],"date-time":"2009-02-04T13:02:04Z","timestamp":1233752524000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Embedding verifiable information flow analysis"],"prefix":"10.1145","author":[{"given":"Dorina","family":"Ghindici","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Lille I, Villeneuve d'Ascq, Cedex, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Grimaud","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Lille I, Villeneuve d'Ascq, Cedex, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Isabelle","family":"Simplot-Ryl","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Lille I, Villeneuve d'Ascq, Cedex, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Aonix Inc. Perc products.  Aonix Inc. Perc products."},{"key":"e_1_3_2_1_2_1","volume-title":"5th International Conference, VMCAI 2004","volume":"2937","author":"Barthe G.","year":"2004","unstructured":"G. Barthe , A. Basu , and T. Rezk . Security types preserving compilation: (extended abstract). In Verification, Model Checking, and Abstract Interpretation , 5th International Conference, VMCAI 2004 , volume 2937 of Lecture Notes in Computer Science, pages 2--15. Springer , 2004 . G. Barthe, A. Basu, and T. Rezk. Security types preserving compilation: (extended abstract). In Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, volume 2937 of Lecture Notes in Computer Science, pages 2--15. Springer, 2004."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009380.1009669"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.611"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/773069.773073"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/647072.713767"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1989.36295"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/359636.359712"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251516.1251518"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30579-8_23"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268976"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111045"},{"key":"e_1_3_2_1_14_1","unstructured":"Java In The Small. http:\/\/www.lifl.fr\/RD2P\/JITS\/.  Java In The Small. http:\/\/www.lifl.fr\/RD2P\/JITS\/."},{"key":"e_1_3_2_1_15_1","first-page":"2","volume-title":"Type-based information flow analysis for low-level languages. Computer Software 20(2)","author":"Kobayashi N.","year":"2003","unstructured":"N. Kobayashi and K. Shirane . Type-based information flow analysis for low-level languages. Computer Software 20(2) , pages 2 -- 21 , 2003 . N. Kobayashi and K. Shirane. Type-based information flow analysis for low-level languages. Computer Software 20(2), pages 2--21, 2003."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/357062.357071"},{"key":"e_1_3_2_1_17_1","volume-title":"Java Virtual Machine Specification","author":"Lindholm T.","year":"1999","unstructured":"T. Lindholm and F. Yellin . Java Virtual Machine Specification . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 1999 . T. Lindholm and F. Yellin. Java Virtual Machine Specification. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1999."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292561"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266669"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263712"},{"key":"e_1_3_2_1_22_1","volume-title":"Workshop \"Formal Underpinnings of the Java Paradigm\", OOPSLA'98","author":"Rose E.","year":"1998","unstructured":"E. Rose and K. H. Rose . Lightweight bytecode verification . In Workshop \"Formal Underpinnings of the Java Paradigm\", OOPSLA'98 , 1998 . E. Rose and K. H. Rose. Lightweight bytecode verification. In Workshop \"Formal Underpinnings of the Java Paradigm\", OOPSLA'98, 1998."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268975"},{"key":"e_1_3_2_1_25_1","unstructured":"STatic Alias aNalyser. http:\/\/www.lifl.fr\/~ghindici\/STAN\/  STatic Alias aNalyser. http:\/\/www.lifl.fr\/~ghindici\/STAN\/"},{"key":"e_1_3_2_1_26_1","unstructured":"Sun Microsystem. Connected Limited Device Configuration and K Virtual Machine. http:\/\/java.sun.com\/products\/cldc\/  Sun Microsystem. Connected Limited Device Configuration and K Virtual Machine. http:\/\/java.sun.com\/products\/cldc\/"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/11547662_24"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/353629.353648"},{"key":"e_1_3_2_1_29_1","volume-title":"PLID'04 The First International Workshop on Programming Language Interference and Dependence","author":"Zdancewic S.","year":"2004","unstructured":"S. Zdancewic . Challenges for information-flow security . PLID'04 The First International Workshop on Programming Language Interference and Dependence , August 25 2004 , Verona, Italy , August 2004. S. Zdancewic. Challenges for information-flow security. PLID'04 The First International Workshop on Programming Language Interference and Dependence, August 25 2004, Verona, Italy, August 2004."}],"event":{"name":"PST06: International Conference on Privacy, Security and Trust","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Markham Ontario Canada","acronym":"PST06"},"container-title":["Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1501434.1501481","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1501434.1501481","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:40Z","timestamp":1750259200000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1501434.1501481"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10,30]]},"references-count":28,"alternative-id":["10.1145\/1501434.1501481","10.1145\/1501434"],"URL":"https:\/\/doi.org\/10.1145\/1501434.1501481","relation":{},"subject":[],"published":{"date-parts":[[2006,10,30]]},"assertion":[{"value":"2006-10-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}