{"id":"https://openalex.org/W7154576642","doi":"https://doi.org/10.48550/arxiv.2604.13611","title":"V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution","display_name":"V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution","publication_year":2026,"publication_date":"2026-04-15","ids":{"openalex":"https://openalex.org/W7154576642","doi":"https://doi.org/10.48550/arxiv.2604.13611"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.13611","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.13611","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.13611","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133776499","display_name":"Jingwen Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Jingwen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065097911","display_name":"Yuhong Nan","orcid":"https://orcid.org/0000-0001-9597-9888"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nan, Yuhong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133770693","display_name":"Kaiwen Ning","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ning, Kaiwen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051229944","display_name":"Mingxi Ye","orcid":"https://orcid.org/0009-0004-6708-4074"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ye, Mingxi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133781212","display_name":"Wei Li","orcid":"https://orcid.org/0000-0003-1670-9981"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Wei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133805001","display_name":"Yuming Xiao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xiao, Yuming","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133767816","display_name":"Yuming Feng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Feng, Yuming","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133743076","display_name":"Weizhe Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Weizhe","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5133746875","display_name":"Zibin Zheng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zheng, Zibin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.8554999828338623,"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.8554999828338623,"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/T11424","display_name":"Security and Verification in Computing","score":0.02419999986886978,"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"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.01209999993443489,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/exploit","display_name":"Exploit","score":0.875},{"id":"https://openalex.org/keywords/vulnerability","display_name":"Vulnerability (computing)","score":0.7305999994277954},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5794000029563904},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.5719000101089478},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.5530999898910522},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4731000065803528},{"id":"https://openalex.org/keywords/audit","display_name":"Audit","score":0.4422000050544739},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.3971000015735626}],"concepts":[{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.875},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7394000291824341},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.7305999994277954},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.6729999780654907},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5794000029563904},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.5719000101089478},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.5530999898910522},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4731000065803528},{"id":"https://openalex.org/C199521495","wikidata":"https://www.wikidata.org/wiki/Q181487","display_name":"Audit","level":2,"score":0.4422000050544739},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.41429999470710754},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.3971000015735626},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3506999909877777},{"id":"https://openalex.org/C195518309","wikidata":"https://www.wikidata.org/wiki/Q13424265","display_name":"Security testing","level":5,"score":0.3476000130176544},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.33980000019073486},{"id":"https://openalex.org/C129361004","wikidata":"https://www.wikidata.org/wiki/Q2470236","display_name":"Profitability index","level":2,"score":0.32989999651908875},{"id":"https://openalex.org/C2776576444","wikidata":"https://www.wikidata.org/wiki/Q303569","display_name":"Attack surface","level":2,"score":0.32429999113082886},{"id":"https://openalex.org/C22680326","wikidata":"https://www.wikidata.org/wiki/Q7444867","display_name":"Secure coding","level":5,"score":0.32170000672340393},{"id":"https://openalex.org/C167063184","wikidata":"https://www.wikidata.org/wiki/Q1400839","display_name":"Vulnerability assessment","level":3,"score":0.31949999928474426},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.3147999942302704},{"id":"https://openalex.org/C112789634","wikidata":"https://www.wikidata.org/wiki/Q18207010","display_name":"False positives and false negatives","level":3,"score":0.2563999891281128},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.2556000053882599},{"id":"https://openalex.org/C32896092","wikidata":"https://www.wikidata.org/wiki/Q189447","display_name":"Risk management","level":2,"score":0.2531999945640564}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.13611","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.13611","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.13611","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.13611","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Smart":[0],"contracts":[1,271],"are":[2,58],"a":[3,75,111,117,190,211],"critical":[4,25],"component":[5],"of":[6,14,24,126,214,237],"blockchain":[7],"systems.":[8],"Due":[9],"to":[10,44,129,188,198,262],"the":[11,45,51,64,90,142,157,195,207,235,250,260,264,276],"large":[12],"amount":[13],"digital":[15],"assets":[16],"carried":[17],"by":[18,156,171,226],"smart":[19,35],"contracts,":[20],"their":[21,38],"security":[22],"is":[23,72,120,128,170,178],"importance.":[26],"Although":[27],"numerous":[28],"tools":[29],"have":[30,161],"been":[31],"developed":[32],"for":[33,114,136,180],"detecting":[34],"contract":[36],"vulnerability,":[37,192],"effectiveness":[39,197],"remains":[40],"limited,":[41],"particularly":[42],"due":[43],"high":[46],"false":[47],"positives":[48],"included":[49],"in":[50,101,164],"reported":[52,65,76,118],"results.":[53],"Therefore,":[54],"developers":[55],"and":[56,138,147,185,218,241],"auditors":[57],"often":[59],"overwhelmed":[60],"with":[61],"manually":[62,269],"verifying":[63],"issues.":[66],"A":[67],"fundamental":[68],"reason":[69],"behind":[70],"this":[71,106,203],"that":[73,273],"while":[74],"vulnerability":[77,119,143,229],"satisfies":[78],"specific":[79,191],"vulnerable":[80,91],"patterns,":[81],"it":[82,97,177],"may":[83],"not":[84,99],"actually":[85],"be":[86,94,145],"exploitable,":[87],"either":[88],"because":[89],"code":[92],"cannot":[93],"triggered":[95,146],"or":[96],"does":[98],"result":[100],"any":[102,149],"financial":[103,154],"loss.":[104],"In":[105,175,245],"paper,":[107],"we":[108],"propose":[109],"V2E,":[110],"new":[112],"framework":[113],"validating":[115],"whether":[116],"truly":[121],"exploitable.":[122],"The":[123],"core":[124],"idea":[125],"V2E":[127,205,222,233,247,274],"automatically":[130],"generate":[131,184],"executable":[132],"Proof-of-Concept":[133],"Exploit":[134],"(PoC":[135],"short),":[137],"then":[139],"assess":[140],"if":[141],"could":[144],"incur":[148],"real":[150],"damage":[151],"(i.e.,":[152],"causing":[153],"loss)":[155],"PoC.":[158],"While":[159],"LLMs":[160],"shown":[162],"proficiency":[163],"PoC":[165,187,215,252,255],"generation,":[166,216],"achieving":[167],"our":[168],"task":[169],"no":[172],"means":[173],"trivial.":[174],"detail,":[176],"difficult":[179],"LLM":[181],"to:":[182],"(1)":[183,220],"update":[186],"trigger":[189],"(2)":[193,231],"evaluate":[194],"PoC's":[196],"validate":[199],"exploitable":[200],"vulnerability.":[201,265],"To":[202],"end,":[204],"automates":[206],"whole":[208],"process":[209],"through":[210,239],"novel":[212],"combination":[213],"validation,":[217],"refinement:":[219],"Firstly,":[221],"generates":[223],"targeted":[224],"PoCs":[225,238],"analyzing":[227],"potential":[228],"paths.":[230],"Then,":[232],"verifies":[234],"validity":[236],"triggerability":[240],"profitability":[242],"analysis.":[243],"(3)":[244],"addition,":[246],"iteratively":[248],"refines":[249],"generated":[251],"based":[253],"on":[254,267],"execution":[256],"feedback,":[257],"therefore,":[258],"increasing":[259],"chance":[261],"confirm":[263],"Evaluation":[266],"264":[268],"labeled":[270],"shows":[272],"outperforms":[275],"baseline":[277],"approach.":[278]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-17T00:00:00"}