{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T09:23:28Z","timestamp":1768987408943,"version":"3.49.0"},"reference-count":26,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T00:00:00Z","timestamp":1764547200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T00:00:00Z","timestamp":1745971200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62032025"],"award-info":[{"award-number":["62032025"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2023YFB2703600"],"award-info":[{"award-number":["2023YFB2703600"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Blockchain: Research and Applications"],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1016\/j.bcra.2025.100301","type":"journal-article","created":{"date-parts":[[2025,5,8]],"date-time":"2025-05-08T14:48:09Z","timestamp":1746715689000},"page":"100301","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"title":["FinanceFuzz: fuzzing smart contracts with financial properties"],"prefix":"10.1016","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-8850-8607","authenticated-orcid":false,"given":"Jiazhen","family":"Gan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7685-944X","authenticated-orcid":false,"given":"Jianzhong","family":"Su","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1289-2603","authenticated-orcid":false,"given":"Kaixin","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zibin","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/j.bcra.2025.100301_br0010","article-title":"A review of Blockchain Technology applications for financial services","volume":"2","author":"Javaid","year":"2022","journal-title":"BenchCouncil Trans. Benchmarks Stand. Eval."},{"key":"10.1016\/j.bcra.2025.100301_br0030","author":"Siegel"},{"key":"10.1016\/j.bcra.2025.100301_br0050","series-title":"32nd USENIX Security Symposium (USENIX Association)","first-page":"3367","article-title":"Automated inference on financial security of ethereum smart contracts","author":"Wang","year":"2023"},{"key":"10.1016\/j.bcra.2025.100301_br0060","series-title":"Proceedings of the 2019 IEEE\/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB)","first-page":"8","article-title":"Slither: a static analysis framework for smart contracts","author":"Feist","year":"2019"},{"key":"10.1016\/j.bcra.2025.100301_br0380","author":"Mueller"},{"key":"10.1016\/j.bcra.2025.100301_br0080","series-title":"Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering","first-page":"259","article-title":"ContractFuzzer: fuzzing smart contracts for vulnerability detection","author":"Jiang","year":"2018"},{"key":"10.1016\/j.bcra.2025.100301_br0090","series-title":"Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security","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.100301_br0100","series-title":"Proceedings of the 2018 World Wide Web Conference on World Wide Web - WWW '18","first-page":"1409","article-title":"Detecting ponzi schemes on ethereum: towards healthier blockchain technology","author":"Chen","year":"2018"},{"key":"10.1016\/j.bcra.2025.100301_br0110","series-title":"Proceedings of the 2023 38th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","first-page":"1664","article-title":"DeFiWarder: protecting DeFi apps from token leaking vulnerabilities","author":"Su","year":"2023"},{"key":"10.1016\/j.bcra.2025.100301_br0130","author":"Wood"},{"issue":"3","key":"10.1016\/j.bcra.2025.100301_br0150","doi-asserted-by":"crossref","first-page":"1199","DOI":"10.1109\/TR.2018.2834476","article-title":"Fuzzing: state of the art","volume":"67","author":"Liang","year":"2018","journal-title":"IEEE Trans. Reliab."},{"key":"10.1016\/j.bcra.2025.100301_br0160","author":"Zalewski"},{"key":"10.1016\/j.bcra.2025.100301_br0170","series-title":"Proceedings of the 2021 IEEE European Symposium on Security and Privacy (EuroS&P)","first-page":"103","article-title":"ConFuzzius: a data dependency-aware hybrid fuzzer for smart contracts","author":"Torres","year":"2021"},{"key":"10.1016\/j.bcra.2025.100301_br0180","author":"Vogelsteller"},{"key":"10.1016\/j.bcra.2025.100301_br0210","series-title":"Blockchain Enabled Applications: Understand the Blockchain Ecosystem and How to Make It Work for You","article-title":"The DAO hacked","author":"Dhillon","year":"2021"},{"key":"10.1016\/j.bcra.2025.100301_br0220","series-title":"Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering","first-page":"778","article-title":"sFuzz: an efficient adaptive fuzzer for solidity smart contracts","author":"Nguyen","year":"2020"},{"key":"10.1016\/j.bcra.2025.100301_br0230","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."},{"key":"10.1016\/j.bcra.2025.100301_br0280","series-title":"Proceedings of the 20th International Conference on Information Integration and Web-Based Applications & Services","first-page":"375","article-title":"Security vulnerabilities in ethereum smart contracts","author":"Mense","year":"2018"},{"key":"10.1016\/j.bcra.2025.100301_br0300","series-title":"Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering","first-page":"530","article-title":"Empirical review of automated analysis tools on 47,587 Ethereum smart contracts","author":"Durieux","year":"2020"},{"key":"10.1016\/j.bcra.2025.100301_br0310","author":"M"},{"key":"10.1016\/j.bcra.2025.100301_br0320","series-title":"Proceedings of the 1st International Workshop on Emerging Trends in Software Engineering for Blockchain","first-page":"9","article-title":"Smartcheck: static analysis of ethereum smart contracts","author":"Tikhomirov","year":"2018"},{"key":"10.1016\/j.bcra.2025.100301_br0330","series-title":"Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security","first-page":"67","article-title":"Securify: practical security analysis of smart contracts","author":"Tsankov","year":"2018"},{"key":"10.1016\/j.bcra.2025.100301_br0340","series-title":"Proceedings of the 34th Annual Computer Security Applications Conference","first-page":"653","article-title":"Finding the greedy, prodigal, and suicidal contracts at scale","author":"Nikoli\u0107","year":"2018"},{"key":"10.1016\/j.bcra.2025.100301_br0350","series-title":"Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","first-page":"322","article-title":"Ityfuzz: snapshot-based fuzzer for smart contract","author":"Shou","year":"2023"},{"key":"10.1016\/j.bcra.2025.100301_br0360","series-title":"Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security","first-page":"254","article-title":"Making smart contracts smarter","author":"Luu","year":"2016"},{"key":"10.1016\/j.bcra.2025.100301_br0370","series-title":"Proceedings of the 2021 36th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","first-page":"227","article-title":"SMARTIAN: enhancing smart contract fuzzing with static and dynamic data-flow analyses","author":"Choi","year":"2021"}],"container-title":["Blockchain: Research and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2096720925000284?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2096720925000284?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T19:53:26Z","timestamp":1768938806000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2096720925000284"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["S2096720925000284"],"URL":"https:\/\/doi.org\/10.1016\/j.bcra.2025.100301","relation":{},"ISSN":["2096-7209"],"issn-type":[{"value":"2096-7209","type":"print"}],"subject":[],"published":{"date-parts":[[2025,12]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"FinanceFuzz: fuzzing smart contracts with financial properties","name":"articletitle","label":"Article Title"},{"value":"Blockchain: Research and Applications","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.bcra.2025.100301","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":"100301"}}