{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,18]],"date-time":"2026-10-18T01:15:13Z","timestamp":1792286113611,"version":"4.4.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642307928","type":"print"},{"value":"9783642307935","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30793-5_12","type":"book-chapter","created":{"date-parts":[[2012,6,8]],"date-time":"2012-06-08T11:34:33Z","timestamp":1339155273000},"page":"186-202","source":"Crossref","is-referenced-by-count":19,"title":["Secure Multi-Execution through Static Program Transformation"],"prefix":"10.1007","author":[{"given":"Gilles","family":"Barthe","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Juan Manuel","family":"Crespo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dominique","family":"Devriese","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frank","family":"Piessens","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Exequiel","family":"Rivas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Askarov, A., Sabelfeld, A.: Tight enforcement of information-release policies for dynamic languages. In: CSF, pp. 43\u201359 (2009)","DOI":"10.1109\/CSF.2009.22"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Austin, T., Flanagan, C.: Multiple facets for dynamic information flow. In: POPL (2012)","DOI":"10.1145\/2103656.2103677"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Austin, T.H., Flanagan, C.: Permissive dynamic information flow analysis. In: PLAS (2010)","DOI":"10.1145\/1814217.1814220"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Barthe, G., Crespo, J.M., Devriese, D., Piessens, F., Rivas, E.: Secure multi-execution through static program transformation: extended version. Technical Report CW620, Department of Computer Science, Katholieke Universiteit Leuven (2012)","DOI":"10.1007\/978-3-642-30793-5_12"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Barthe, G., D\u2019Argenio, P.R., Rezk, T.: Secure information flow by self-composition. In: CSFW, pp. 100\u2013114 (2004)","DOI":"10.1109\/CSFW.2004.1310735"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Bielova, N., Devriese, D., Massacci, F., Piessens, F.: Reactive non-interference for a browser model. In: NSS (2011)","DOI":"10.1109\/ICNSS.2011.6059965"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Birgisson, A., Russo, A., Sabelfeld, A.: Capabilities for information flow. In: PLAS (2011)","DOI":"10.1145\/2166956.2166961"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Capizzi, R., Longo, A., Venkatakrishnan, V.N., Prasad Sistla, A.: Preventing information leaks through shadow executions. In: ACSAC (2008)","DOI":"10.1109\/ACSAC.2008.50"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Cavadini, S.: Secure slices of insecure programs. In: ASIACCS, pp. 112\u2013122 (2008)","DOI":"10.1145\/1368310.1368329"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Chudnov, A., Naumann, D.A.: Information flow monitor inlining. In: CSF, pp. 200\u2013214 (2010)","DOI":"10.1109\/CSF.2010.21"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Chugh, R., Meister, J.A., Jhala, R., Lerner, S.: Staged information flow for Javascript. In: PLDI (2009)","DOI":"10.1145\/1542476.1542483"},{"key":"12_CR12","unstructured":"Cristi\u00e1, M., Mata, P.: Runtime enforcement of noninterference by duplicating processes and their memories. In: WSEGI 2009 (2009)"},{"key":"12_CR13","unstructured":"Crockford, D.: Adsafe (December 2009), http:\/\/www.adsafe.org\/"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Devriese, D., Piessens, F.: Noninterference through secure multi-execution. In: IEEE Symposium on Security and Privacy, pp. 109\u2013124 (2010)","DOI":"10.1109\/SP.2010.15"},{"key":"12_CR15","unstructured":"Facebook. Fbjs (2011), http:\/\/developers.facebook.com\/docs\/fbjs\/"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Le Guernic, G.: Confidentiality Enforcement Using Dynamic Information Flow Analyses. PhD thesis, Kansas State University (2007)","DOI":"10.1007\/978-3-540-76929-3_4"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Heintze, N., Riecke, J.G.: The SLam calculus: programming with secrecy and integrity. In: Proc. ACM Symp. on Principles of Programming Languages, pp. 365\u2013377 (January 1998)","DOI":"10.1145\/268946.268976"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Jaskelioff, M., Russo, A.: Secure multi-execution in haskell. In: PSI (2011)","DOI":"10.1007\/978-3-642-29709-0_16"},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1109\/SP.2011.19","volume-title":"Proceedings of the 2011 IEEE Symposium on Security and Privacy, SP 2011","author":"V. Kashyap","year":"2011","unstructured":"Kashyap, V., Wiedermann, B., Hardekopf, B.: Timing- and termination-sensitive secure information flow: Exploring a new approach. In: Proceedings of the 2011 IEEE Symposium on Security and Privacy, SP 2011, pp. 413\u2013428. IEEE Computer Society, Washington, DC (2011)"},{"key":"12_CR20","unstructured":"Louw, M.T., Ganesh, K.T., Venkatakrishnan, V.N.: Adjail: Practical enforcement of confidentiality and integrity policies on web advertisements. In: USENIX Security Symposium, pp. 371\u2013388 (2010)"},{"key":"12_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/978-3-642-04444-1_31","volume-title":"Computer Security \u2013 ESORICS 2009","author":"S. Maffeis","year":"2009","unstructured":"Maffeis, S., Mitchell, J.C., Taly, A.: Isolating JavaScript with Filters, Rewriting, and Wrappers. In: Backes, M., Ning, P. (eds.) ESORICS 2009. LNCS, vol.\u00a05789, pp. 505\u2013522. Springer, Heidelberg (2009)"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"Maffeis, S., Mitchell, J.C., Taly, A.: Object capabilities and isolation of untrusted web applications. In: IEEE Symposium on Security and Privacy, pp. 125\u2013140 (2010)","DOI":"10.1109\/SP.2010.16"},{"key":"12_CR23","unstructured":"Miller, M.S., Samuel, M., Laurie, B., Awad, I., Stay, M.: Caja: Safe active content in sanitized javascript (January 2008), http:\/\/google-caja.googlecode.com\/files\/caja-spec-2008-01-15.pdf"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Myers, A.C.: JFlow: Practical mostly-static information flow control. In: Proc. ACM Symp. on Principles of Programming Languages, pp. 228\u2013241 (January 1999)","DOI":"10.1145\/292540.292561"},{"key":"12_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-642-22655-7_4","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"G. Richards","year":"2011","unstructured":"Richards, G., Hammer, C., Burg, B., Vitek, J.: The Eval That Men Do. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol.\u00a06813, pp. 52\u201378. Springer, Heidelberg (2011)"},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"Russo, A., Sabelfeld, A.: Securing timeout instructions in web applications. In: CSF, pp. 92\u2013106 (2009)","DOI":"10.1109\/CSF.2009.16"},{"key":"12_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-642-04444-1_6","volume-title":"Computer Security \u2013 ESORICS 2009","author":"A. Russo","year":"2009","unstructured":"Russo, A., Sabelfeld, A., Chudnov, A.: Tracking Information Flow in Dynamic Tree Structures. In: Backes, M., Ning, P. (eds.) ESORICS 2009. LNCS, vol.\u00a05789, pp. 86\u2013103. Springer, Heidelberg (2009)"},{"key":"12_CR28","first-page":"5","volume":"21","author":"A. Sabelfeld","year":"2003","unstructured":"Sabelfeld, A., Myers, A.C.: Language-based information-flow security. JSAC\u00a021, 5\u201319 (2003)","journal-title":"JSAC"},{"key":"12_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/978-3-642-11486-1_30","volume-title":"Perspectives of Systems Informatics","author":"A. Sabelfeld","year":"2010","unstructured":"Sabelfeld, A., Russo, A.: From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research. In: Pnueli, A., Virbitskaite, I., Voronkov, A. (eds.) PSI 2009. LNCS, vol.\u00a05947, pp. 352\u2013365. Springer, Heidelberg (2010)"},{"key":"12_CR30","doi-asserted-by":"crossref","unstructured":"Taly, A., Erlingsson, U., Miller, M.S., Mitchell, J.C., Nagra, J.: Automated analysis of security-critical javascript apis. In: IEEE Symposium on Security and Privacy (2011)","DOI":"10.1109\/SP.2011.39"},{"issue":"2\/3","key":"12_CR31","doi-asserted-by":"crossref","first-page":"167","DOI":"10.3233\/JCS-1996-42-304","volume":"4","author":"D. Volpano","year":"1996","unstructured":"Volpano, D., Irvine, C., Smith, G.: A sound type system for secure flow analysis. Journal of Computer Security\u00a04(2\/3), 167\u2013188 (1996)","journal-title":"Journal of Computer Security"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30793-5_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T06:29:31Z","timestamp":1743316171000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30793-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307928","9783642307935"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30793-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}