{"id":"https://openalex.org/W4410203061","doi":"https://doi.org/10.1016/j.bcra.2025.100301","title":"FinanceFuzz: fuzzing smart contracts with financial properties","display_name":"FinanceFuzz: fuzzing smart contracts with financial properties","publication_year":2025,"publication_date":"2025-05-08","ids":{"openalex":"https://openalex.org/W4410203061","doi":"https://doi.org/10.1016/j.bcra.2025.100301"},"language":"en","primary_location":{"id":"doi:10.1016/j.bcra.2025.100301","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.bcra.2025.100301","pdf_url":null,"source":{"id":"https://openalex.org/S4210227578","display_name":"Blockchain Research and Applications","issn_l":"2096-7209","issn":["2096-7209","2666-9536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Blockchain: Research and Applications","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1016/j.bcra.2025.100301","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021702592","display_name":"Jiazhen Gan","orcid":"https://orcid.org/0009-0000-8850-8607"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]},{"id":"https://openalex.org/I32820368","display_name":"Guangdong Polytechnic of Science and Technology","ror":"https://ror.org/01wq2p249","country_code":"CN","type":"education","lineage":["https://openalex.org/I32820368"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiazhen Gan","raw_affiliation_strings":["Guangdong Engineering Technology Research Center of Blockchain, Zhuhai, Guangdong, China","School of Computer Science and Engineering, Sun Yat-Sen University, Guangzhou, Guangdong, 510000, China"],"raw_orcid":"https://orcid.org/0009-0000-8850-8607","affiliations":[{"raw_affiliation_string":"Guangdong Engineering Technology Research Center of Blockchain, Zhuhai, Guangdong, China","institution_ids":["https://openalex.org/I32820368"]},{"raw_affiliation_string":"School of Computer Science and Engineering, Sun Yat-Sen University, Guangzhou, Guangdong, 510000, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063591976","display_name":"Jianzhong Su","orcid":"https://orcid.org/0000-0002-7685-944X"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]},{"id":"https://openalex.org/I32820368","display_name":"Guangdong Polytechnic of Science and Technology","ror":"https://ror.org/01wq2p249","country_code":"CN","type":"education","lineage":["https://openalex.org/I32820368"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jianzhong Su","raw_affiliation_strings":["Guangdong Engineering Technology Research Center of Blockchain, Zhuhai, Guangdong, China","School of Software Engineering, Sun Yat-Sen University, Zhuhai, Guangdong, 519000, China"],"raw_orcid":"https://orcid.org/0000-0002-7685-944X","affiliations":[{"raw_affiliation_string":"Guangdong Engineering Technology Research Center of Blockchain, Zhuhai, Guangdong, China","institution_ids":["https://openalex.org/I32820368"]},{"raw_affiliation_string":"School of Software Engineering, Sun Yat-Sen University, Zhuhai, Guangdong, 519000, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034494975","display_name":"Kaixin Lin","orcid":"https://orcid.org/0000-0002-1289-2603"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]},{"id":"https://openalex.org/I32820368","display_name":"Guangdong Polytechnic of Science and Technology","ror":"https://ror.org/01wq2p249","country_code":"CN","type":"education","lineage":["https://openalex.org/I32820368"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kaixin Lin","raw_affiliation_strings":["Guangdong Engineering Technology Research Center of Blockchain, Zhuhai, Guangdong, China","School of Computer Science and Engineering, Sun Yat-Sen University, Guangzhou, Guangdong, 510000, China"],"raw_orcid":"https://orcid.org/0000-0002-1289-2603","affiliations":[{"raw_affiliation_string":"Guangdong Engineering Technology Research Center of Blockchain, Zhuhai, Guangdong, China","institution_ids":["https://openalex.org/I32820368"]},{"raw_affiliation_string":"School of Computer Science and Engineering, Sun Yat-Sen University, Guangzhou, Guangdong, 510000, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000582109","display_name":"Zibin Zheng","orcid":"https://orcid.org/0000-0002-7878-4330"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]},{"id":"https://openalex.org/I32820368","display_name":"Guangdong Polytechnic of Science and Technology","ror":"https://ror.org/01wq2p249","country_code":"CN","type":"education","lineage":["https://openalex.org/I32820368"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zibin Zheng","raw_affiliation_strings":["Guangdong Engineering Technology Research Center of Blockchain, Zhuhai, Guangdong, China","School of Software Engineering, Sun Yat-Sen University, Zhuhai, Guangdong, 519000, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Guangdong Engineering Technology Research Center of Blockchain, Zhuhai, Guangdong, China","institution_ids":["https://openalex.org/I32820368"]},{"raw_affiliation_string":"School of Software Engineering, Sun Yat-Sen University, Zhuhai, Guangdong, 519000, China","institution_ids":["https://openalex.org/I157773358"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5063591976"],"corresponding_institution_ids":["https://openalex.org/I157773358","https://openalex.org/I32820368"],"apc_list":{"value":1600,"currency":"USD","value_usd":1600},"apc_paid":{"value":1600,"currency":"USD","value_usd":1600},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12621293,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"6","issue":"4","first_page":"100301","last_page":"100301"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11995","display_name":"FinTech, Crowdfunding, Digital Finance","score":0.9872999787330627,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11182","display_name":"Auction Theory and Applications","score":0.9646000266075134,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.8141528367996216},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.49297189712524414},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2474951148033142},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11809739470481873}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.8141528367996216},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.49297189712524414},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2474951148033142},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11809739470481873},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/j.bcra.2025.100301","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.bcra.2025.100301","pdf_url":null,"source":{"id":"https://openalex.org/S4210227578","display_name":"Blockchain Research and Applications","issn_l":"2096-7209","issn":["2096-7209","2666-9536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Blockchain: Research and Applications","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:1d0b5669bc1f4e5090b4ab576da91a99","is_oa":true,"landing_page_url":"https://doaj.org/article/1d0b5669bc1f4e5090b4ab576da91a99","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Blockchain: Research and Applications, Vol 6, Iss 4, Pp 100301- (2025)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1016/j.bcra.2025.100301","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.bcra.2025.100301","pdf_url":null,"source":{"id":"https://openalex.org/S4210227578","display_name":"Blockchain Research and Applications","issn_l":"2096-7209","issn":["2096-7209","2666-9536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Blockchain: Research and Applications","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","score":0.46000000834465027,"display_name":"Decent work and economic growth"}],"awards":[{"id":"https://openalex.org/G1378608539","display_name":null,"funder_award_id":"62032025","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1448421410","display_name":null,"funder_award_id":"2023YFB2703600","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W2539190473","https://openalex.org/W2769293050","https://openalex.org/W2789063661","https://openalex.org/W2805052744","https://openalex.org/W2805827286","https://openalex.org/W2806746626","https://openalex.org/W2846896781","https://openalex.org/W2911193845","https://openalex.org/W2963610883","https://openalex.org/W2970809537","https://openalex.org/W2982275082","https://openalex.org/W2985495886","https://openalex.org/W3091620507","https://openalex.org/W3098149161","https://openalex.org/W3105187050","https://openalex.org/W3214421193","https://openalex.org/W4205689130","https://openalex.org/W4307139962","https://openalex.org/W4316661173","https://openalex.org/W4384155618","https://openalex.org/W4388483249","https://openalex.org/W6600339457"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2511770387","https://openalex.org/W3120811337","https://openalex.org/W2766647240","https://openalex.org/W4385301282","https://openalex.org/W2990186179","https://openalex.org/W4210660460","https://openalex.org/W3203597304","https://openalex.org/W4248424560","https://openalex.org/W3119380829"],"abstract_inverted_index":{"Smart":[0],"contracts":[1,34,54,70,175,191,205],"are":[2],"Turing-complete":[3],"programs":[4],"that":[5,174,192,214],"run":[6],"on":[7,24,35,41,88,127,199],"blockchain":[8],"technology,":[9],"capable":[10],"of":[11,32,52,57,92,101,119,131,143,162,172],"managing":[12],"on-chain":[13],"assets":[14],"according":[15],"to":[16,61,106,111,155],"predefined":[17],"logic,":[18],"and":[19,145,151,169,188],"become":[20],"immutable":[21],"once":[22],"deployed":[23],"the":[25,30,42,45,49,89,93,97,102,128,139,160,194,207,210],"blockchain.":[26],"In":[27],"recent":[28],"years,":[29],"value":[31,51],"smart":[33,53,69,80,204],"blockchains,":[36],"notably":[37],"Ethereum,":[38],"has":[39],"been":[40],"rise.":[43],"However,":[44],"hiding":[46],"vulnerabilities":[47,82,86,108],"made":[48],"substantial":[50],"a":[55,116,200],"target":[56],"many":[58,76,107],"hackers,":[59],"leading":[60],"numerous":[62],"attack":[63],"incidents.":[64],"Therefore,":[65],"vulnerability":[66,135],"detection":[67],"in":[68,115,159,221],"before":[71],"deployment":[72],"is":[73],"essential.":[74],"Currently,":[75],"fuzzers":[77,147],"for":[78,186],"detecting":[79,222],"contract":[81,134],"can":[83,182],"only":[84],"identify":[85,189],"based":[87],"execution":[90],"patterns":[91,136],"underlying":[94],"opcodes,":[95],"overlooking":[96],"financial":[98,129],"semantic":[99,141],"properties":[100,142,171],"contracts,":[103,132,144],"which":[104],"leads":[105],"being":[109],"difficult":[110],"detect":[112,156],"or":[113],"resulting":[114],"high":[117],"rate":[118,227],"false":[120,229],"positives.":[121],"To":[122],"this":[123],"end,":[124],"we":[125],"focus":[126],"characteristics":[130],"define":[133],"starting":[137],"from":[138,206],"high-level":[140],"combine":[146],"using":[148],"evolutionary":[149],"algorithms":[150],"symbolic":[152],"constraint":[153],"solving":[154],"vulnerabilities,":[157,223],"culminating":[158],"development":[161],"FinanceFuzz":[163,166,181],".":[164],"Specifically,":[165],"defines":[167],"invariant":[168],"equivalence":[170],"finance":[173],"should":[176],"satisfy.":[177],"Utilizing":[178],"these":[179],"properties,":[180],"generate":[183],"transaction":[184],"sequences":[185],"testing":[187],"vulnerable":[190],"violate":[193],"properties.":[195],"We":[196],"conducted":[197],"experiments":[198],"dataset":[201],"containing":[202],"437":[203],"real":[208],"world,":[209],"experimental":[211],"results":[212],"demonstrating":[213],"our":[215],"tool":[216],"outperforms":[217],"other":[218],"state-of-the-art":[219],"tools":[220],"achieving":[224],"higher":[225],"recall":[226],"without":[228],"positive.":[230]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}