{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:35Z","timestamp":1772163935062,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,1,7]],"date-time":"2008-01-07T00:00:00Z","timestamp":1199664000000},"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":[[2008,1,7]]},"DOI":"10.1145\/1328438.1328479","type":"proceedings-article","created":{"date-parts":[[2008,1,7]],"date-time":"2008-01-07T09:45:40Z","timestamp":1199699140000},"page":"337-348","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["On the computational soundness of cryptographically masked flows"],"prefix":"10.1145","author":[{"given":"Peeter","family":"Laud","sequence":"first","affiliation":[{"name":"Tartu University and Cybernetica AS, Tartu, Estonia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,1,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/324133.324266"},{"key":"e_1_3_2_1_2_1","series-title":"LNCS","first-page":"82","volume-title":"4th International Symposium, TACS","author":"Abadi Martin","year":"2001"},{"key":"e_1_3_2_1_3_1","series-title":"LNCS","first-page":"3","volume-title":"International Conference IFIP TCS","author":"Abadi Martin","year":"2000"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11555827_22"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325702"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2007.22"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11823230_23"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/948109.948140"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Mihir\n       \n      Bellare\n     and \n      \n      \n      Chanathip\n       \n      Namprempre\n    .\n      \n  \n   \n  Authenticated Encryption: Relations among Notions and Analysis of the Generic Composition Paradigm. In Tatsuaki Okamoto editor Advances in Cryptology -- ASIACRYPT\n   \n  2000 6th International Conference on the Theory and Application of Cryptology and Information Security volume \n  1976\n   of \n  LNCS pages \n  531\n  --\n  545 Kyoto Japan December 2000. \n  Springer-Verlag\n  .   Mihir Bellare and Chanathip Namprempre. Authenticated Encryption: Relations among Notions and Analysis of the Generic Composition Paradigm. In Tatsuaki Okamoto editor Advances in Cryptology -- ASIACRYPT 2000 6th International Conference on the Theory and Application of Cryptology and Information Security volume 1976 of LNCS pages 531--545 Kyoto Japan December 2000. Springer-Verlag.","DOI":"10.1007\/3-540-44448-3_41"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/168588.168596"},{"key":"e_1_3_2_1_11_1","first-page":"394","volume-title":"Phillip Rogaway. A Concrete Security Treatment of Symmetric Encryption. In 38th Annual Symposium on Foundations of Computer Science","author":"Bellare Mihir","year":"1997"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"John\n       \n      Black Phillip\n       \n      Rogaway and \n      \n      \n      Thomas\n       \n      Shrimpton\n    .\n      \n  \n   \n  Encryption-scheme security in the presence of key-dependent messages. In Kaisa Nyberg and Howard M. Heys editors Selected Areas in Cryptography volume \n  2595\n   of \n  Lecture Notes in Computer Science pages \n  62\n  --\n  75\n  . \n  Springer 2002\n  .   John Black Phillip Rogaway and Thomas Shrimpton. Encryption-scheme security in the presence of key-dependent messages. In Kaisa Nyberg and Howard M. Heys editors Selected Areas in Cryptography volume 2595 of Lecture Notes in Computer Science pages 62--75. Springer 2002.","DOI":"10.1007\/3-540-36492-7_6"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Chiara\n       \n      Bodei Pierpaolo\n       \n      Degano Flemming\n       \n      Nielson and \n      \n      \n      Hanne Riis\n       \n      Nielson\n    .\n      \n  \n   \n  Static analysis for secrecy and non-interference in networks of processes\n  . In Victor E. Malyshkin editor Pa\n  CT volume \n  2127\n   of \n  Lecture Notes in Computer Science pages \n  27\n  --\n  41\n  . \n  Springer 2001\n  .   Chiara Bodei Pierpaolo Degano Flemming Nielson and Hanne Riis Nielson. Static analysis for secrecy and non-interference in networks of processes. In Victor E. Malyshkin editor PaCT volume 2127 of Lecture Notes in Computer Science pages 27--41. Springer 2001.","DOI":"10.1007\/3-540-44743-1_3"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_12"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328478"},{"key":"e_1_3_2_1_17_1","first-page":"11","volume-title":"Proceedings of the 1982 IEEE Symposium on Security and Privacy","author":"Joseph","year":"1982"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/519078"},{"key":"e_1_3_2_1_19_1","volume-title":"Massachusetts Institute of Technology","author":"Herzog Jonathan","year":"2002"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Peeter\n       \n      Laud\n    .\n      \n  \n   \n  Semantics and Program Analysis of Computationally Secure Information Flow. In David Sands editor Programming Languages and Systems 10th European Symposium on Programming ESOP\n   \n  2001 volume \n  2028\n   of \n  LNCS pages \n  77\n  --\n  91 Genova Italy April 2001. \n  Springer-Verlag\n  .   Peeter Laud. Semantics and Program Analysis of Computationally Secure Information Flow. In David Sands editor Programming Languages and Systems 10th European Symposium on Programming ESOP 2001 volume 2028 of LNCS pages 77--91 Genova Italy April 2001. Springer-Verlag.","DOI":"10.1007\/3-540-45309-1_6"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Peeter\n       \n      Laud\n    .\n      \n  \n   \n  Handling Encryption in Analyses for Secure Information Flow. In Pierpaolo Degano editor Programming Languages and Systems 12th European Symposium on Programming ESOP\n   \n  2003 volume \n  2618\n   of \n  LNCS pages \n  159\n  --\n  173 Warsaw Poland April 2003. \n  Springer-Verlag\n  .  Peeter Laud. Handling Encryption in Analyses for Secure Information Flow. In Pierpaolo Degano editor Programming Languages and Systems 12th European Symposium on Programming ESOP 2003 volume 2618 of LNCS pages 159--173 Warsaw Poland April 2003. Springer-Verlag.","DOI":"10.1007\/3-540-36575-3_12"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/11537311_32"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA462529"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292561"},{"key":"e_1_3_2_1_25_1","volume-title":"Wiley","author":"Nielson Hanne Riis","year":"1992"},{"key":"e_1_3_2_1_26_1","volume-title":"2007 IEEE Symposium on Security and Privacy (S&P 2007)","author":"Pfitzmann Birgit","year":"2007"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"e_1_3_2_1_28_1","series-title":"LNCS","first-page":"40","volume-title":"8th European Symposium on Programming, ESOP'99","author":"Sabelfeld Andrei","year":"1999"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2005.15"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180337.1180341"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268975"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2007.5"}],"event":{"name":"POPL08: The 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"San Francisco California USA","acronym":"POPL08","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1328438.1328479","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1328438.1328479","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:56:07Z","timestamp":1750240567000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1328438.1328479"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,1,7]]},"references-count":32,"alternative-id":["10.1145\/1328438.1328479","10.1145\/1328438"],"URL":"https:\/\/doi.org\/10.1145\/1328438.1328479","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1328897.1328479","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2008,1,7]]},"assertion":[{"value":"2008-01-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}