{"id":"https://openalex.org/W7225752082","doi":"https://doi.org/10.1109/tdsc.2026.3751693","title":"DPFuzz: Dynamic-Static Branch Distance and Branch Priority-Driven Fuzzing for Smart Contract","display_name":"DPFuzz: Dynamic-Static Branch Distance and Branch Priority-Driven Fuzzing for Smart Contract","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7225752082","doi":"https://doi.org/10.1109/tdsc.2026.3751693"},"language":"en","primary_location":{"id":"doi:10.1109/tdsc.2026.3751693","doi":"https://doi.org/10.1109/tdsc.2026.3751693","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tdsc.2026.3751693","pdf_url":null,"source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","ccf-a","cwts-core","dongbi-a","jufo-3","norway-2","poland-140","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Dependable and Secure Computing","raw_type":"journal-article"},"parent_works":[],"lineage":["https://openalex.org/W7225752082"],"child_works_count":0,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1109/tdsc.2026.3751693","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5130929243","display_name":"Yingbiao Yao","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I3129496460","display_name":"Lishui University","ror":"https://ror.org/0418kp584","country_code":"CN","type":"education","lineage":["https://openalex.org/I3129496460"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yingbiao Yao","raw_affiliation_strings":["Lishui University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lishui University","institution_ids":["https://openalex.org/I3129496460"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047195890","display_name":"\u8a31\u6069\u777f","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I50760025","display_name":"Hangzhou Dianzi University","ror":"https://ror.org/0576gt767","country_code":"CN","type":"education","lineage":["https://openalex.org/I50760025"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Enrui Xu","raw_affiliation_strings":["Hangzhou Dianzi University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hangzhou Dianzi University","institution_ids":["https://openalex.org/I50760025"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5161385182","display_name":"Yang Zhang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I50760025","display_name":"Hangzhou Dianzi University","ror":"https://ror.org/0576gt767","country_code":"CN","type":"education","lineage":["https://openalex.org/I50760025"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yang Zhang","raw_affiliation_strings":["Hangzhou Dianzi University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hangzhou Dianzi University","institution_ids":["https://openalex.org/I50760025"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102240001","display_name":"Yuhan Gao","orcid":"https://orcid.org/0009-0001-9866-3480","observed_orcids":["https://orcid.org/0009-0001-9866-3480"]},"institutions":[{"id":"https://openalex.org/I50760025","display_name":"Hangzhou Dianzi University","ror":"https://ror.org/0576gt767","country_code":"CN","type":"education","lineage":["https://openalex.org/I50760025"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuhan Gao","raw_affiliation_strings":["Hangzhou Dianzi University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hangzhou Dianzi University","institution_ids":["https://openalex.org/I50760025"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048712886","display_name":"Yaoqi Sun","orcid":"https://orcid.org/0000-0001-8874-241X","observed_orcids":["https://orcid.org/0000-0001-8874-241X"]},"institutions":[{"id":"https://openalex.org/I3129496460","display_name":"Lishui University","ror":"https://ror.org/0418kp584","country_code":"CN","type":"education","lineage":["https://openalex.org/I3129496460"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yaoqi Sun","raw_affiliation_strings":["Lishui University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lishui University","institution_ids":["https://openalex.org/I3129496460"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2645,"currency":"USD","value_usd":2645},"apc_paid":{"value":2645,"currency":"USD","value_usd":2645},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"15"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.885699987411499,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.885699987411499,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.11159999668598175,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/resource-allocation","display_name":"resource allocation","score":0.6869999766349792},{"id":"https://openalex.org/keywords/branch-coverage","display_name":"branch coverage","score":0.5609999895095825},{"id":"https://openalex.org/keywords/smart-contract-vulnerabilities","display_name":"smart contract vulnerabilities","score":0.6570000052452087},{"id":"https://openalex.org/keywords/blockchain-security","display_name":"blockchain security","score":0.5649999976158142}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7699999809265137},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.6244999766349792},{"id":"https://openalex.org/C168522837","wikidata":"https://www.wikidata.org/wiki/Q679552","display_name":"Branch predictor","level":2,"score":0.3179999887943268},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3133000135421753},{"id":"https://openalex.org/C3020028006","wikidata":"https://www.wikidata.org/wiki/Q9158","display_name":"Electronic mail","level":2,"score":0.3019999861717224},{"id":"https://openalex.org/C106516650","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm design","level":2,"score":0.29750001430511475},{"id":"https://openalex.org/C110406131","wikidata":"https://www.wikidata.org/wiki/Q41349","display_name":"Smart card","level":2,"score":0.28380000591278076},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2768999934196472},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2556000053882599},{"id":"https://openalex.org/C2984822820","wikidata":"https://www.wikidata.org/wiki/Q1123036","display_name":"Processor scheduling","level":3,"score":0.2515999972820282}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tdsc.2026.3751693","doi":"https://doi.org/10.1109/tdsc.2026.3751693","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tdsc.2026.3751693","pdf_url":null,"source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","ccf-a","cwts-core","dongbi-a","jufo-3","norway-2","poland-140","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Dependable and Secure Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1109/tdsc.2026.3751693","doi":"https://doi.org/10.1109/tdsc.2026.3751693","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tdsc.2026.3751693","pdf_url":null,"source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","ccf-a","cwts-core","dongbi-a","jufo-3","norway-2","poland-140","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Dependable and Secure Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4415341305","https://openalex.org/W4316661173","https://openalex.org/W6927387033","https://openalex.org/W4414977285","https://openalex.org/W4401155200","https://openalex.org/W4235182441","https://openalex.org/W4400909786","https://openalex.org/W7220699511","https://openalex.org/W7151055948","https://openalex.org/W7046775417"],"abstract_inverted_index":{"With":[0],"the":[1,91,104],"widespread":[2],"adoption":[3],"of":[4,137],"blockchain":[5],"smart":[6,44],"contracts,":[7,145],"vulnerabilities":[8],"in":[9],"complex,":[10],"state-dependent":[11],"execution":[12],"paths":[13],"pose":[14],"serious":[15],"risks":[16],"to":[17,60],"user":[18],"assets":[19],"and":[20,33,52,66,76,96,110,125,139,143,170],"system":[21],"trustworthiness.":[22],"Existing":[23],"fuzzers":[24],"often":[25],"allocate":[26],"resources":[27,58],"uniformly,":[28],"generate":[29],"ineffective":[30],"transaction":[31,71],"sequences,":[32],"provide":[34],"limited":[35],"guidance":[36],"toward":[37,108],"deep":[38],"branches.":[39,112],"We":[40],"propose":[41],"DPFuzz,":[42],"a":[43],"contract":[45],"fuzzing":[46],"framework":[47],"driven":[48],"by":[49,134],"branch":[50,54,62,94,129],"priority":[51],"dynamic-static":[53],"distance.":[55],"DPFuzz":[56,150],"assigns":[57],"according":[59],"normalized":[61],"complexity,":[63],"security":[64],"importance,":[65],"runtime":[67],"coverage,":[68],"constructs":[69],"state-relevant":[70],"sequences":[72],"from":[73,163],"read-after-write":[74],"dependencies,":[75],"combines":[77],"dynamic":[78],"operand":[79],"feedback":[80],"with":[81,122],"static":[82],"control-flow":[83],"distance":[84],"for":[85,141],"seed":[86],"guidance.":[87],"Within":[88],"each":[89],"contract,":[90],"scheduler":[92],"normalizes":[93],"scores":[95],"updates":[97],"allocations":[98],"after":[99],"every":[100],"scheduling":[101],"cycle,":[102],"directing":[103],"finite":[105],"testing":[106],"budget":[107],"difficult":[109],"security-sensitive":[111],"Experiments":[113],"on":[114,131],"three":[115],"complementary":[116],"datasets":[117],"show":[118],"DPFuzz's":[119],"effectiveness.":[120],"Compared":[121],"ConFuzzius,":[123],"sFuzz,":[124],"IR-Fuzz,":[126],"it":[127,166],"improves":[128],"coverage":[130],"Dataset":[132,148,164],"1":[133],"an":[135],"average":[136],"11.2%":[138],"14.4%":[140],"small":[142],"large":[144],"respectively.":[146],"On":[147,159],"2,":[149],"detects":[151],"173":[152],"true":[153],"positives,":[154],"46":[155],"more":[156],"than":[157],"IR-Fuzz.":[158],"200":[160],"real-world":[161],"contracts":[162],"3,":[165],"achieves":[167],"95.04%":[168],"precision":[169],"97.10%":[171],"recall,":[172],"showing":[173],"its":[174],"practical":[175],"applicability.":[176]},"counts_by_year":[],"updated_date":"2026-11-13T13:42:25.865203","created_date":"2026-11-11T00:00:00"}