{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,22]],"date-time":"2025-12-22T22:32:15Z","timestamp":1766442735597,"version":"3.48.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["101141432-BlockSec"],"award-info":[{"award-number":["101141432-BlockSec"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["SpyCode SFB project F8510-N"],"award-info":[{"award-number":["SpyCode SFB project F8510-N"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Austrian Research Promotion Agency","award":["SBA-K1 NGC"],"award-info":[{"award-number":["SBA-K1 NGC"]}]},{"DOI":"10.13039\/501100001821","name":"Vienna Science and Technology Fund","doi-asserted-by":"publisher","award":["ForSmart"],"award-info":[{"award-number":["ForSmart"]}],"id":[{"id":"10.13039\/501100001821","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Christian Doppler Research Association","award":["Christian Doppler Laboratory Blockchain Technologies for the Internet of Things (CDL-BOT)"],"award-info":[{"award-number":["Christian Doppler Laboratory Blockchain Technologies for the Internet of Things (CDL-BOT)"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,11,19]]},"DOI":"10.1145\/3719027.3765156","type":"proceedings-article","created":{"date-parts":[[2025,11,22]],"date-time":"2025-11-22T23:42:02Z","timestamp":1763854922000},"page":"126-140","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["<scp>Wanilla:<\/scp>\n                    Sound Noninterference Analysis for WebAssembly"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-6826-3493","authenticated-orcid":false,"given":"Markus","family":"Scherer","sequence":"first","affiliation":[{"name":"TU Wien, Vienna, Austria and Christian Doppler Laboratory Blockchain Technologies for the Internet of Things, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6228-6137","authenticated-orcid":false,"given":"Jeppe Fredsgaard","family":"Blaabjerg","sequence":"additional","affiliation":[{"name":"Aarhus University, Aarhus, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7620-5799","authenticated-orcid":false,"given":"Alexander","family":"Sj\u00f6sten","sequence":"additional","affiliation":[{"name":"TU Wien, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8061-1685","authenticated-orcid":false,"given":"Matteo","family":"Maffei","sequence":"additional","affiliation":[{"name":"TU Wien, Vienna, Austria and Christian Doppler Laboratory Blockchain Technologies for the Internet of Things, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,11,22]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"https:\/\/github.com\/gongbell\/EOSFuzzer\/issues?q=is%3Aissuethedockercontainerlink . [Online","author":"Issues","year":"2025","unstructured":"Issues gongbell\/eosfuzzer. https:\/\/github.com\/gongbell\/EOSFuzzer\/issues?q=is%3Aissuethedockercontainerlink . [Online; accessed Apr 9, 2025]."},{"key":"e_1_3_2_2_2_1","unstructured":"Wanilla: Sound noninterference analysis for webassembly (technical report). http:\/\/arxiv.org\/abs\/2509.08758 Sep 2025."},{"key":"e_1_3_2_2_3_1","volume-title":"Apr 9","author":"An","year":"2025","unstructured":"An overview of smart contracts on stellar, including the rust sdk and faqs | stellar docs. https:\/\/developers.stellar.org\/docs\/build\/smart-contracts\/overview, Apr 9, 2025. [Online; accessed Apr 9, 2025]."},{"key":"e_1_3_2_2_4_1","volume-title":"Jun 20","author":"Eos","year":"2019","unstructured":"Eos virtual machine: A high-performance blockchain webassembly interpreter. https:\/\/eos.io\/news\/eos-virtual-machine-a-high-performance-blockchain-webassembly-interpreter\/ , Jun 20, 2019. [Online; accessed Apr 19, 2023]."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103677"},{"key":"e_1_3_2_2_6_1","volume-title":"Department of Computer Science","author":"Barrett C.","year":"2017","unstructured":"C. Barrett, P. Fontaine, and C. Tinelli. The SMT-LIB Standard: Version 2.6. Technical report, Department of Computer Science, The University of Iowa, 2017. Available at www.SMT-LIB.org."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21437-0_17"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2004.1310735"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2019.8894277"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129512000850"},{"key":"e_1_3_2_2_11_1","volume-title":"SecWasm: Information Flow Control for WebAssembly. In Int. Symp. on Static Analysis (SAS). Springer","author":"Bastys I.","year":"2022","unstructured":"I. Bastys, M. Algehed, A. Sj\u00f6sten, and A. Sabelfeld. SecWasm: Information Flow Control for WebAssembly. In Int. Symp. on Static Analysis (SAS). Springer, 2022."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47813-2_1"},{"key":"e_1_3_2_2_13_1","volume-title":"26th USENIX Security Symposium, USENIX Security 2017","author":"Bond B.","year":"2017","unstructured":"B. Bond, C. Hawblitzel, M. Kapritsos, K. R. M. Leino, J. R. Lorch, B. Parno, A. Rane, S. T. V. Setty, and L. Thompson. Vale: Verifying high-performance cryptographic assembly code. In 26th USENIX Security Symposium, USENIX Security 2017, Vancouver, BC, Canada, Aug 16-18, 2017. USENIX Association, 2017."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134054"},{"key":"e_1_3_2_2_15_1","volume-title":"Hyperproperties. In Proceedings of the 21st IEEE Computer Security Foundations Symposium, CSF 2008","author":"Clarkson M. R.","year":"2008","unstructured":"M. R. Clarkson and F. B. Schneider. Hyperproperties. In Proceedings of the 21st IEEE Computer Security Foundations Symposium, CSF 2008, Pittsburgh, Pennsylvania, USA, 23-25 Jun 2008. IEEE Computer Society, 2008."},{"key":"e_1_3_2_2_16_1","volume-title":"Github - vprover\/vampire at gleiss-rapid-final. https:\/\/github.com\/vprover\/vampire\/tree\/gleiss-rapid-final. [Online","author":"Contributors V.","year":"2024","unstructured":"V. Contributors. Github - vprover\/vampire at gleiss-rapid-final. https:\/\/github.com\/vprover\/vampire\/tree\/gleiss-rapid-final. [Online; accessed Nov 14, 2024]."},{"key":"e_1_3_2_2_17_1","volume-title":"Principles of abstract interpretation","author":"Cousot P.","year":"2021","unstructured":"P. Cousot. Principles of abstract interpretation. The MIT Press, Cambridge, Massachusetts, 2021."},{"key":"e_1_3_2_2_18_1","volume-title":"Second International Conference, SPC 2005, Boppard, Germany, Apr 6-8, 2005, Proceedings","volume":"3450","author":"H\u00e4hnle R.","year":"2005","unstructured":"\u00c1. Darvas, R. H\u00e4hnle, and D. Sands. A theorem proving approach to analysis of secure information flow. In Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, Apr 6-8, 2005, Proceedings, volume 3450 of Lecture Notes in Computer Science. Springer, 2005."},{"key":"e_1_3_2_2_19_1","volume-title":"14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, Mar 29-Apr 6, 2008. Proceedings","volume":"4963","author":"de Moura L. M.","year":"2008","unstructured":"L. M. de Moura and N. S. Bj\u00f8rner. Z3: an efficient SMT solver. In Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, Mar 29-Apr 6, 2008. Proceedings, volume 4963 of Lecture Notes in Computer Science. Springer, 2008."},{"key":"e_1_3_2_2_20_1","volume-title":"Certification of programs for secure information flow. Commun. ACM, 20(7)","author":"Denning D. E.","year":"1977","unstructured":"D. E. Denning and P. J. Denning. Certification of programs for secure information flow. Commun. ACM, 20(7), 1977."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964017"},{"key":"e_1_3_2_2_22_1","volume-title":"Security Policies and Security Models. In Symposium on Security and Privacy (S&P). IEEE Computer Society","author":"Goguen J. A.","year":"1982","unstructured":"J. A. Goguen and J. Meseguer. Security Policies and Security Models. In Symposium on Security and Privacy (S&P). IEEE Computer Society, 1982."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062363"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-009-0086-1"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3457913.3457920"},{"key":"e_1_3_2_2_26_1","volume-title":"VMCAI 2017, Paris, France, Jan 15-17, 2017, Proceedings","volume":"10145","author":"Jiang J.","year":"2017","unstructured":"J. Jiang, L. Chen, X. Wu, and J. Wang. Block-wise abstract interpretation by combining abstract domains with SMT. In Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Paris, France, Jan 15-17, 2017, Proceedings, volume 10145 of Lecture Notes in Computer Science. Springer, 2017."},{"key":"e_1_3_2_2_27_1","volume-title":"Asian Workshop on Programming Languages and Systems (APLAS)","author":"Kobayashi N.","year":"2002","unstructured":"N. Kobayashi and K. Shirane. Type-Based Information Analysis for Low-Level L anguages. In Asian Workshop on Programming Languages and Systems (APLAS), 2002."},{"key":"e_1_3_2_2_28_1","volume-title":"CAV 2013, Saint Petersburg, Russia, Jul 13-19, 2013. Proceedings","volume":"8044","author":"Kov\u00e1cs L.","year":"2013","unstructured":"L. Kov\u00e1cs and A. Voronkov. First-order theorem proving and vampire. In Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, Jul 13-19, 2013. Proceedings, volume 8044 of Lecture Notes in Computer Science. Springer, 2013."},{"key":"e_1_3_2_2_29_1","volume-title":"USENIX Security","author":"Lehmann D.","year":"2020","unstructured":"D. Lehmann, J. Kinder, and M. Pradel. Everything Old is New Again: Binary Security of WebAssembly. In USENIX Security. USENIX Association, 2020."},{"key":"e_1_3_2_2_30_1","volume-title":"Online Event","author":"Nieke M.","year":"2021","unstructured":"M. Nieke, L. Almstedt, and R. Kapitza. Edgedancer: Secure mobile webassembly services on the edge. In EdgeSys@EuroSys 2021: 4th International Workshop on Edge Systems, Analytics and Networking, Online Event, United Kingdom, Apr 26, 2021. ACM, 2021."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF61375.2024.00025"},{"key":"e_1_3_2_2_33_1","volume-title":"Sep","author":"Scherer M.","year":"2025","unstructured":"M. Scherer, J. F. Blaabjerg, A. Sj\u00f6sten, and M. Maffei. Wanilla: Sound noninterference analysis for webassembly (artifacts). https:\/\/researchdata.tuwien.ac.at\/records\/hc4rp-xp328, Sep 2025."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417250"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-61467-6_14"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2016.14"},{"key":"e_1_3_2_2_37_1","volume-title":"Oct 2","author":"Shekhirin A.","year":"2019","unstructured":"A. Shekhirin. Awesome webassembly plugins. https:\/\/github.com\/shekhirin\/awesome-webassembly-plugins, Oct 2, 2019. [Online; accessed Apr 20, 2023]."},{"key":"e_1_3_2_2_38_1","volume-title":"Efficient path conditions in dependence graphs for software safety analysis. ACM Trans. Softw. Eng. Methodol., 15(4)","author":"Snelting G.","year":"2006","unstructured":"G. Snelting, T. Robschink, and J. Krinke. Efficient path conditions in dependence graphs for software safety analysis. ACM Trans. Softw. Eng. Methodol., 15(4), 2006."},{"key":"e_1_3_2_2_39_1","volume-title":"Compositional Information Flow Analysis for WebAssembly Programs. In International Working Conference on Source Code Analysis and Manipulation (SCAM). IEEE","author":"Sti\u00e9venart Q.","year":"2020","unstructured":"Q. Sti\u00e9venart and C. De Roover. Compositional Information Flow Analysis for WebAssembly Programs. In International Working Conference on Source Code Analysis and Manipulation (SCAM). IEEE, 2020."},{"key":"e_1_3_2_2_40_1","volume-title":"12th International Symposium, SAS 2005, London, UK, Sep 7-9, 2005, Proceedings","volume":"3672","author":"Terauchi T.","year":"2005","unstructured":"T. Terauchi and A. Aiken. Secure information flow as a safety problem. In Static Analysis, 12th International Symposium, SAS 2005, London, UK, Sep 7-9, 2005, Proceedings, volume 3672 of Lecture Notes in Computer Science. Springer, 2005."},{"key":"e_1_3_2_2_41_1","unstructured":"W3C. WebAssembly Core Specification. https:\/\/www.w3.org\/TR\/wasm-core-1\/."},{"key":"e_1_3_2_2_42_1","volume-title":"Oct 2","author":"Wallace E.","year":"2019","unstructured":"E. Wallace. An update on plugin security. https:\/\/www.figma.com\/blog\/an-update-on-plugin-security\/, Oct 2, 2019. [Online; accessed Apr 20, 2023]."},{"key":"e_1_3_2_2_43_1","unstructured":"WebAssembly Community Group. WebAssembly Core Specification live document. https:\/\/webassembly.github.io\/spec\/core\/."},{"key":"e_1_3_2_2_44_1","first-page":"2025","article-title":"\/03\/26\/hyperlight-wasm-fast-secure-and-os-free\/","volume":"26","author":"Wuyts Y.","year":"2025","unstructured":"Y. Wuyts and L. Menon. Hyperlight wasm: Fast, secure, and os-free. https:\/\/opensource.microsoft.com\/blog\/2025\/03\/26\/hyperlight-wasm-fast-secure-and-os-free\/ , Mar 26, 2025. [Online, accessed Apr 13, 2025].","journal-title":"Mar"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_5"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/872752.873524"}],"event":{"name":"CCS '25: ACM SIGSAC Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Taipei Taiwan","acronym":"CCS '25"},"container-title":["Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3719027.3765156","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,22]],"date-time":"2025-12-22T22:29:14Z","timestamp":1766442554000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3719027.3765156"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,19]]},"references-count":46,"alternative-id":["10.1145\/3719027.3765156","10.1145\/3719027"],"URL":"https:\/\/doi.org\/10.1145\/3719027.3765156","relation":{},"subject":[],"published":{"date-parts":[[2025,11,19]]},"assertion":[{"value":"2025-11-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}