{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T07:15:43Z","timestamp":1778742943973,"version":"3.51.4"},"reference-count":35,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T00:00:00Z","timestamp":1756684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T00:00:00Z","timestamp":1756684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T00:00:00Z","timestamp":1743984000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Blockchain: Research and Applications"],"published-print":{"date-parts":[[2025,9]]},"DOI":"10.1016\/j.bcra.2025.100287","type":"journal-article","created":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T12:39:30Z","timestamp":1744288770000},"page":"100287","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"title":["WASIF: In-depth detection of vulnerabilities in Wasm smart contracts via information flows and function invocation sequences"],"prefix":"10.1016","volume":"6","author":[{"given":"Chu","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xuan","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bin","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yumo","family":"Tian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoyu","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pinghong","family":"Ren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.bcra.2025.100287_br0010","series-title":"Proceedings of the 29th USENIX Security Symposium, USENIX Security 2020","first-page":"217","article-title":"Everything old is new again: binary security of WebAssembly","author":"Lehmann","year":"2020"},{"issue":"2","key":"10.1016\/j.bcra.2025.100287_br0020","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3392155","article-title":"Understanding (mis)behavior on the EOSIO blockchain","volume":"4","author":"Huang","year":"2020","journal-title":"Proc. ACM Meas. Anal. Comput. Syst."},{"key":"10.1016\/j.bcra.2025.100287_br0030","unstructured":"Ethereum, A virtual machine to run Ethereum smart contracts, 2023."},{"key":"10.1016\/j.bcra.2025.100287_br0040","series-title":"Proceedings of the IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2022","first-page":"1191","article-title":"Blockchain-oriented software variant forks: a preliminary study","author":"Rocha","year":"2022"},{"issue":"3","key":"10.1016\/j.bcra.2025.100287_br0050","doi-asserted-by":"crossref","first-page":"102477","DOI":"10.1016\/j.ipm.2020.102477","article-title":"XBlock-EOS: extracting and exploring blockchain data from EOSIO","volume":"58","author":"Zheng","year":"2021","journal-title":"Inf. Process. Manag."},{"issue":"5","key":"10.1016\/j.bcra.2025.100287_br0060","doi-asserted-by":"crossref","first-page":"2752","DOI":"10.1109\/TCSS.2022.3191350","article-title":"From decentralization to oligopoly: a data-driven analysis of decentralization evolution and voting behaviors on EOSIO","volume":"10","author":"Liu","year":"2023","journal-title":"IEEE Trans. Comput. Soc. Syst."},{"key":"10.1016\/j.bcra.2025.100287_br0070","series-title":"Proceedings of the 27th Annual Network and Distributed System Security Symposium, NDSS 2020","first-page":"1","article-title":"SODA: a generic online detection framework for smart contracts","author":"Chen","year":"2020"},{"key":"10.1016\/j.bcra.2025.100287_br0080","author":"He"},{"key":"10.1016\/j.bcra.2025.100287_br0090","series-title":"Proceedings of the 42nd International Conference on Software Engineering, ICSE 2020","first-page":"778","article-title":"sFuzz: an efficient adaptive fuzzer for Solidity smart contracts","author":"Nguyen","year":"2020"},{"key":"10.1016\/j.bcra.2025.100287_br0100","doi-asserted-by":"crossref","first-page":"1237","DOI":"10.1109\/TIFS.2023.3237370","article-title":"Rethinking smart contract fuzzing: fuzzing with invocation ordering and important branch revisiting","volume":"18","author":"Liu","year":"2023","journal-title":"IEEE Trans. Inf. Forensics Secur."},{"issue":"2","key":"10.1016\/j.bcra.2025.100287_br0110","first-page":"1296","article-title":"Combining graph neural networks with expert knowledge for smart contract vulnerability detection","volume":"35","author":"Liu","year":"2023","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"2","key":"10.1016\/j.bcra.2025.100287_br0120","doi-asserted-by":"crossref","first-page":"1133","DOI":"10.1109\/TNSE.2020.2968505","article-title":"ContractWard: automated vulnerability detection models for Ethereum smart contracts","volume":"8","author":"Wang","year":"2021","journal-title":"IEEE Trans. Netw. Sci. Eng."},{"issue":"109289","key":"10.1016\/j.bcra.2025.100287_br0130","first-page":"1","article-title":"Smart contract vulnerability detection combined with multi-objective detection","volume":"217","author":"Zhang","year":"2022","journal-title":"Comput. Netw."},{"key":"10.1016\/j.bcra.2025.100287_br0140","first-page":"1","article-title":"DA-GNN: a smart contract vulnerability detection method based on dual attention graph neural network","volume":"110238","author":"Zhen","year":"2024","journal-title":"Comput. Netw."},{"key":"10.1016\/j.bcra.2025.100287_br0150","author":"He"},{"key":"10.1016\/j.bcra.2025.100287_br0160","series-title":"Proceedings of the 21st IEEE International Conference on Software Quality, Reliability and Security, QRS 2021","first-page":"926","article-title":"WANA: symbolic execution of Wasm bytecode for extensible smart contract vulnerability detection","author":"Jiang","year":"2021"},{"key":"10.1016\/j.bcra.2025.100287_br0170","series-title":"Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023","first-page":"385","article-title":"Eunomia: enabling user-specified fine-grained search in symbolically executing WebAssembly binaries","author":"He","year":"2023"},{"key":"10.1016\/j.bcra.2025.100287_br0180","author":"Zhou"},{"key":"10.1016\/j.bcra.2025.100287_br0190","series-title":"Proceedings of the 12th Asia-Pacific Symposium on Internetware, Internetware 2020","first-page":"99","article-title":"EOSFuzzer: fuzzing EOSIO smart contracts for vulnerability detection","author":"Huang","year":"2020"},{"key":"10.1016\/j.bcra.2025.100287_br0200","series-title":"Proceedings of the 29th Asia-Pacific Software Engineering Conference, APSEC 2022","first-page":"1","article-title":"Grey-box fuzzing based on execution feedback for EOSIO smart contracts","author":"Li","year":"2022"},{"issue":"4","key":"10.1016\/j.bcra.2025.100287_br0210","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1049\/blc2.12029","article-title":"WASMOD: detecting vulnerabilities in Wasm smart contracts","volume":"3","author":"Zhou","year":"2023","journal-title":"IET Blockchain"},{"key":"10.1016\/j.bcra.2025.100287_br0220","series-title":"Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2022","first-page":"703","article-title":"WASAI: uncovering vulnerabilities in Wasm smart contracts","author":"Chen","year":"2022"},{"key":"10.1016\/j.bcra.2025.100287_br0230","series-title":"Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019","first-page":"531","article-title":"Learning to fuzz from symbolic execution with application to smart contracts","author":"He","year":"2019"},{"key":"10.1016\/j.bcra.2025.100287_br0240","series-title":"Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/FSE 2020","first-page":"1398","article-title":"Harvey: a greybox fuzzer for smart contracts","author":"W\u00fcstholz","year":"2020"},{"key":"10.1016\/j.bcra.2025.100287_br0250","author":"Huang"},{"key":"10.1016\/j.bcra.2025.100287_br0260","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1016\/j.future.2019.12.019","article-title":"An overview on smart contracts: challenges, advances and platforms","volume":"105","author":"Zheng","year":"2020","journal-title":"Future Gener. Comput. Syst."},{"issue":"8","key":"10.1016\/j.bcra.2025.100287_br0270","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3471140","article-title":"A survey on blockchain interoperability: past, present, and future trends","volume":"54","author":"Belchior","year":"2022","journal-title":"ACM Comput. Surv."},{"issue":"OOPSLA","key":"10.1016\/j.bcra.2025.100287_br0280","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3360559","volume":"3","author":"Watt","year":"2019","journal-title":"Proc. ACM Program. Lang."},{"key":"10.1016\/j.bcra.2025.100287_br0290","series-title":"Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019","first-page":"2685","article-title":"Poster: detecting WebAssembly-based cryptocurrency mining","author":"Bian","year":"2019"},{"key":"10.1016\/j.bcra.2025.100287_br0300","series-title":"Proceedings of the 43rd IEEE Symposium on Security and Privacy, SP 2022","first-page":"1","article-title":"PATA: fuzzing with path aware taint analysis","author":"Liang","year":"2022"},{"key":"10.1016\/j.bcra.2025.100287_br0310","series-title":"Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2021","first-page":"566","article-title":"Empirical evaluation of smart contract testing: what is the best choice?","author":"Ren","year":"2021"},{"key":"10.1016\/j.bcra.2025.100287_br0320","series-title":"Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conference, COMPSAC 2022","first-page":"746","article-title":"EOSIOAnalyzer: an effective static analysis vulnerability detection framework for EOSIO smart contracts","author":"Li","year":"2022"},{"key":"10.1016\/j.bcra.2025.100287_br0330","series-title":"Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022","first-page":"3391","article-title":"Poster: EOSDFA: data flow analysis of EOSIO smart contracts","author":"Li","year":"2022"},{"key":"10.1016\/j.bcra.2025.100287_br0340","author":"Quan"},{"issue":"1","key":"10.1016\/j.bcra.2025.100287_br0350","doi-asserted-by":"crossref","first-page":"650","DOI":"10.1109\/TDSC.2022.3141396","article-title":"ExGen: cross-platform, automated exploit generation for smart contract vulnerabilities","volume":"20","author":"Jin","year":"2023","journal-title":"IEEE Trans. Dependable Secure Comput."}],"container-title":["Blockchain: Research and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2096720925000144?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2096720925000144?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T21:00:45Z","timestamp":1759352445000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2096720925000144"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,9]]}},"alternative-id":["S2096720925000144"],"URL":"https:\/\/doi.org\/10.1016\/j.bcra.2025.100287","relation":{},"ISSN":["2096-7209"],"issn-type":[{"value":"2096-7209","type":"print"}],"subject":[],"published":{"date-parts":[[2025,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"WASIF: In-depth detection of vulnerabilities in Wasm smart contracts via information flows and function invocation sequences","name":"articletitle","label":"Article Title"},{"value":"Blockchain: Research and Applications","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.bcra.2025.100287","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2025 THE AUTHORS. Published by Elsevier B.V. on behalf of Zhejiang University Press.","name":"copyright","label":"Copyright"}],"article-number":"100287"}}