{"id":"https://openalex.org/W4411337080","doi":"https://doi.org/10.1109/tifs.2025.3580224","title":"SmartGuard: Making Prediction Verifiable Through Transaction Sequences for Smart Contract Vulnerability Detection","display_name":"SmartGuard: Making Prediction Verifiable Through Transaction Sequences for Smart Contract Vulnerability Detection","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4411337080","doi":"https://doi.org/10.1109/tifs.2025.3580224"},"language":"en","primary_location":{"id":"doi:10.1109/tifs.2025.3580224","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tifs.2025.3580224","pdf_url":null,"source":{"id":"https://openalex.org/S61310614","display_name":"IEEE Transactions on Information Forensics and Security","issn_l":"1556-6013","issn":["1556-6013","1556-6021"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Information Forensics and Security","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100332977","display_name":"Jie Chen","orcid":"https://orcid.org/0000-0002-9248-6209"},"institutions":[{"id":"https://openalex.org/I76569877","display_name":"Southeast University","ror":"https://ror.org/04ct4d772","country_code":"CN","type":"education","lineage":["https://openalex.org/I76569877"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jie Chen","raw_affiliation_strings":["School of Cyber Science and Engineering, Southeast University, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0002-9248-6209","affiliations":[{"raw_affiliation_string":"School of Cyber Science and Engineering, Southeast University, Nanjing, China","institution_ids":["https://openalex.org/I76569877"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017914641","display_name":"Liangmin Wang","orcid":"https://orcid.org/0000-0003-0048-5979"},"institutions":[{"id":"https://openalex.org/I76569877","display_name":"Southeast University","ror":"https://ror.org/04ct4d772","country_code":"CN","type":"education","lineage":["https://openalex.org/I76569877"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liangmin Wang","raw_affiliation_strings":["School of Cyber Science and Engineering, Southeast University, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0003-0048-5979","affiliations":[{"raw_affiliation_string":"School of Cyber Science and Engineering, Southeast University, Nanjing, China","institution_ids":["https://openalex.org/I76569877"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071855354","display_name":"Huijuan Zhu","orcid":"https://orcid.org/0000-0003-2751-2607"},"institutions":[{"id":"https://openalex.org/I4210096899","display_name":"Jiangsu University of Science and Technology","ror":"https://ror.org/00tyjp878","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210096899"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huijuan Zhu","raw_affiliation_strings":["School of Computer Science and Communication Technology, Jiangsu University, Zhenjiang, China"],"raw_orcid":"https://orcid.org/0000-0003-2751-2607","affiliations":[{"raw_affiliation_string":"School of Computer Science and Communication Technology, Jiangsu University, Zhenjiang, China","institution_ids":["https://openalex.org/I4210096899"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100332977"],"corresponding_institution_ids":["https://openalex.org/I76569877"],"apc_list":null,"apc_paid":null,"fwci":2.81,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.91334575,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":"20","issue":null,"first_page":"6117","last_page":"6132"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12394","display_name":"Insurance and Financial Risk Management","score":0.958899974822998,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T12394","display_name":"Insurance and Financial Risk Management","score":0.958899974822998,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13643","display_name":"Artificial Intelligence in Law","score":0.9416000247001648,"subfield":{"id":"https://openalex.org/subfields/3320","display_name":"Political Science and International Relations"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9060999751091003,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8060671091079712},{"id":"https://openalex.org/keywords/verifiable-secret-sharing","display_name":"Verifiable secret sharing","score":0.8003377318382263},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.6606395244598389},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.6217044591903687},{"id":"https://openalex.org/keywords/vulnerability","display_name":"Vulnerability (computing)","score":0.606034517288208},{"id":"https://openalex.org/keywords/transaction-processing","display_name":"Transaction processing","score":0.4160063564777374},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.32459136843681335},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.24905911087989807},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11602100729942322},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.074994295835495}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8060671091079712},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.8003377318382263},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.6606395244598389},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.6217044591903687},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.606034517288208},{"id":"https://openalex.org/C72108876","wikidata":"https://www.wikidata.org/wiki/Q844565","display_name":"Transaction processing","level":3,"score":0.4160063564777374},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.32459136843681335},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.24905911087989807},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11602100729942322},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.074994295835495}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tifs.2025.3580224","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tifs.2025.3580224","pdf_url":null,"source":{"id":"https://openalex.org/S61310614","display_name":"IEEE Transactions on Information Forensics and Security","issn_l":"1556-6013","issn":["1556-6013","1556-6021"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Information Forensics and Security","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1325466753","display_name":null,"funder_award_id":"62372105","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6207416481","display_name":null,"funder_award_id":"BK20202001","funder_id":"https://openalex.org/F4320322769","funder_display_name":"Natural Science Foundation of Jiangsu Province"},{"id":"https://openalex.org/G8316128755","display_name":null,"funder_award_id":"2242023K30034","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322769","display_name":"Natural Science Foundation of Jiangsu Province","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W2104518905","https://openalex.org/W2293634267","https://openalex.org/W2539190473","https://openalex.org/W2634169402","https://openalex.org/W2790202156","https://openalex.org/W2795180899","https://openalex.org/W2798749466","https://openalex.org/W2805052744","https://openalex.org/W2947081899","https://openalex.org/W2962756421","https://openalex.org/W2963465913","https://openalex.org/W2963610883","https://openalex.org/W2970809537","https://openalex.org/W2984656466","https://openalex.org/W2999378142","https://openalex.org/W3001243964","https://openalex.org/W3003036212","https://openalex.org/W3005065812","https://openalex.org/W3015325345","https://openalex.org/W3015405072","https://openalex.org/W3034136313","https://openalex.org/W3035733952","https://openalex.org/W3047945658","https://openalex.org/W3141797743","https://openalex.org/W3166095789","https://openalex.org/W3182763642","https://openalex.org/W3186717497","https://openalex.org/W3205422842","https://openalex.org/W4205689130","https://openalex.org/W4211181447","https://openalex.org/W4233652141","https://openalex.org/W4255703437","https://openalex.org/W4288057718","https://openalex.org/W4312749754","https://openalex.org/W4313563646","https://openalex.org/W4313563778","https://openalex.org/W4316022171","https://openalex.org/W4316661173","https://openalex.org/W4384154650","https://openalex.org/W4384345698","https://openalex.org/W4384345844","https://openalex.org/W4385080392","https://openalex.org/W4385408399","https://openalex.org/W4388722144","https://openalex.org/W4389518774","https://openalex.org/W4393307116","https://openalex.org/W4396941524","https://openalex.org/W4399576205","https://openalex.org/W6640212811","https://openalex.org/W6682082992","https://openalex.org/W6690815549","https://openalex.org/W6726423759","https://openalex.org/W6753297168","https://openalex.org/W6775393073","https://openalex.org/W6780620222","https://openalex.org/W6794891352"],"related_works":["https://openalex.org/W1872559406","https://openalex.org/W3122172798","https://openalex.org/W2363110500","https://openalex.org/W2371295991","https://openalex.org/W2385369652","https://openalex.org/W2143226912","https://openalex.org/W2158759608","https://openalex.org/W2403667029","https://openalex.org/W2387697730","https://openalex.org/W2162723797"],"abstract_inverted_index":{"Deep":[0],"learning-based":[1,87,99,152],"detectors":[2,88,153],"have":[3],"been":[4],"widely":[5],"proposed":[6],"to":[7,21,27,42,47,115,127,181,202],"predict":[8],"vulnerabilities":[9,52,129,197],"in":[10,206,221,253],"smart":[11,93],"contracts,":[12],"yet":[13],"their":[14],"unreliable":[15],"predictions":[16,67,220],"pose":[17],"severe":[18],"security":[19],"risks":[20],"financial":[22],"transactions,":[23],"making":[24,64],"it":[25],"critical":[26],"verify":[28,116,217],"the":[29,61,107,111,141,148,160,165,183,186],"reliability":[30,184],"of":[31,168,185,196],"vulnerability":[32,66,82,117,169,219],"predictions.":[33,118,170],"However,":[34],"existing":[35],"methods":[36],"only":[37],"produce":[38],"prediction":[39,83,104],"results,":[40],"failing":[41],"provide":[43],"an":[44,70],"evidence":[45,137],"chain":[46],"check":[48],"whether":[49],"these":[50,65],"predicted":[51,187],"genuinely":[53],"exist":[54],"and":[55,89,154,200,247],"deliver":[56],"further":[57,249],"guidance":[58],"for":[59,85,92],"fixing":[60],"vulnerabilities.":[62,145],"Thus,":[63],"verifiable":[68,81],"remains":[69],"unexplored":[71],"problem.":[72],"In":[73],"this":[74],"paper,":[75],"we":[76,120,157,172],"propose":[77,173],"SmartGuard,":[78],"a":[79,97,102,122,174],"novel":[80],"framework":[84],"deep":[86,98,151],"specifically":[90],"designed":[91],"contracts.":[94],"It":[95,224],"integrates":[96],"detector":[100],"with":[101],"symbolic":[103,155],"validator,":[105],"where":[106],"latter":[108],"acts":[109],"as":[110,136],"backend":[112],"formal":[113],"engine":[114],"Specifically,":[119],"present":[121],"graph-sequence":[123],"multi-task":[124],"learning":[125],"model":[126],"detect":[128],"while":[130],"generating":[131],"transaction":[132,162],"sequences":[133,163],"that":[134,213],"serve":[135],"chains,":[138],"explicitly":[139],"revealing":[140],"triggering":[142],"logic":[143],"behind":[144],"To":[146],"bridge":[147],"gap":[149],"between":[150],"validators,":[156],"symbolically":[158],"execute":[159],"generated":[161],"against":[164],"verification":[166],"conditions":[167],"Furthermore,":[171],"new":[175],"metric,":[176],"Vulnerability":[177],"Prediction":[178],"Suspiciousness":[179],"(VPS),":[180],"evaluate":[182,203],"results.":[188],"We":[189],"implement":[190],"SmartGuard":[191,214],"on":[192,244],"three":[193],"representative":[194],"types":[195],"(Reentrancy,":[198],"Ether-leaking,":[199],"Suicidal)":[201],"its":[204],"performance":[205],"real-world":[207,222],"scenarios.":[208,223],"Our":[209],"experimental":[210],"results":[211],"show":[212],"can":[215],"effectively":[216],"doubtful":[218],"also":[225],"outperforms":[226],"state-of-the-art":[227],"baselines":[228],"by":[229,234],"consistently":[230],"reducing":[231],"false":[232],"reports":[233],"at":[235],"least":[236],"15%":[237],"across":[238],"various":[239],"Solidity":[240],"versions.":[241],"Case":[242],"studies":[243],"complex":[245],"contracts":[246],"DApps":[248],"demonstrate":[250],"SmartGuard\u2019s":[251],"effectiveness":[252],"practice.":[254]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}