{"id":"https://openalex.org/W4411450279","doi":"https://doi.org/10.1145/3729373","title":"DiSCo: Towards Decompiling EVM Bytecode to Source Code using Large Language Models","display_name":"DiSCo: Towards Decompiling EVM Bytecode to Source Code using Large Language Models","publication_year":2025,"publication_date":"2025-06-19","ids":{"openalex":"https://openalex.org/W4411450279","doi":"https://doi.org/10.1145/3729373"},"language":"en","primary_location":{"id":"doi:10.1145/3729373","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729373","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3729373","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108220576","display_name":"Xing Su","orcid":null},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xing Su","raw_affiliation_strings":["Nanjing University, Nanjing,China, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing,China, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060173381","display_name":"Hanzhong Liang","orcid":"https://orcid.org/0009-0001-1915-6692"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hanzhong Liang","raw_affiliation_strings":["Nanjing University, Nanjing,China, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing,China, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023954841","display_name":"Hao Wu","orcid":"https://orcid.org/0000-0002-0980-9805"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hao Wu","raw_affiliation_strings":["Nanjing University, Nanjing,China, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing,China, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036725114","display_name":"Ben Niu","orcid":"https://orcid.org/0000-0003-2898-7495"},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]},{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ben Niu","raw_affiliation_strings":["Institute of Information Engineering at Chinese Academy of Sciences, Beijing,China, China"],"affiliations":[{"raw_affiliation_string":"Institute of Information Engineering at Chinese Academy of Sciences, Beijing,China, China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114549816","display_name":"Fengyuan Xu","orcid":"https://orcid.org/0000-0003-3388-7544"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fengyuan Xu","raw_affiliation_strings":["Nanjing University, Nanjing,China, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing,China, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060268538","display_name":"Sheng Zhong","orcid":"https://orcid.org/0000-0002-6581-8730"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Sheng Zhong","raw_affiliation_strings":["Nanjing University, Nanjing,China, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing,China, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5108220576"],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":6.9916,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.96544809,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"2","issue":"FSE","first_page":"2311","last_page":"2334"},"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.9976999759674072,"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.9976999759674072,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9976999759674072,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9871000051498413,"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/bytecode","display_name":"Bytecode","score":0.9151990413665771},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7835346460342407},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5950932502746582},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.5874386429786682},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.4645414650440216},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.421487420797348},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3266967236995697}],"concepts":[{"id":"https://openalex.org/C2779818221","wikidata":"https://www.wikidata.org/wiki/Q837330","display_name":"Bytecode","level":3,"score":0.9151990413665771},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7835346460342407},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5950932502746582},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5874386429786682},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.4645414650440216},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.421487420797348},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3266967236995697},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3729373","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729373","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3729373","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3729373","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7858689280","display_name":null,"funder_award_id":"62272224, 62341201, 62302207, 62272215","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8888875154","display_name":null,"funder_award_id":"2022YFF060450","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":45,"referenced_works":["https://openalex.org/W2539190473","https://openalex.org/W2601243251","https://openalex.org/W2618735189","https://openalex.org/W2619704817","https://openalex.org/W2778319809","https://openalex.org/W2908007588","https://openalex.org/W2955447707","https://openalex.org/W2963351448","https://openalex.org/W2963502184","https://openalex.org/W2963610883","https://openalex.org/W2985495886","https://openalex.org/W2987160260","https://openalex.org/W3015325345","https://openalex.org/W3034136313","https://openalex.org/W3043576244","https://openalex.org/W3107814273","https://openalex.org/W3111903291","https://openalex.org/W3119253238","https://openalex.org/W3160746813","https://openalex.org/W3174560274","https://openalex.org/W3180995430","https://openalex.org/W3207487452","https://openalex.org/W4225143755","https://openalex.org/W4308411114","https://openalex.org/W4308632257","https://openalex.org/W4318562169","https://openalex.org/W4320560161","https://openalex.org/W4327911462","https://openalex.org/W4366722169","https://openalex.org/W4376606870","https://openalex.org/W4378470905","https://openalex.org/W4384155611","https://openalex.org/W4388483128","https://openalex.org/W4389165109","https://openalex.org/W4391725258","https://openalex.org/W4391725269","https://openalex.org/W4394745749","https://openalex.org/W4394745858","https://openalex.org/W4394769342","https://openalex.org/W4400878080","https://openalex.org/W4402040396","https://openalex.org/W4404060141","https://openalex.org/W4405602529","https://openalex.org/W4405703871","https://openalex.org/W4406798911"],"related_works":["https://openalex.org/W1889284597","https://openalex.org/W4241431292","https://openalex.org/W1500443504","https://openalex.org/W2070229111","https://openalex.org/W2156734947","https://openalex.org/W1994666727","https://openalex.org/W1598565505","https://openalex.org/W4244248952","https://openalex.org/W2177718015","https://openalex.org/W3164216185"],"abstract_inverted_index":{"Understanding":[0],"the":[1,48,61,85,112,161],"Ethereum":[2],"smart":[3,68],"contract":[4,33,69],"bytecode":[5,17,63,87],"is":[6,21,81,118],"essential":[7],"for":[8,25,129],"ensuring":[9],"cryptoeconomics":[10],"security.":[11],"However,":[12],"existing":[13],"decompilers":[14],"primarily":[15],"convert":[16],"into":[18,67,88],"pseudocode,":[19],"which":[20,54],"not":[22],"easily":[23],"comprehensible":[24],"general":[26],"users,":[27],"potentially":[28],"leading":[29],"to":[30,38,56,59,83,105,125],"misunderstanding":[31],"of":[32],"behavior":[34],"and":[35,64,175],"increased":[36],"vulnerability":[37],"scams":[39],"or":[40],"exploits.":[41],"In":[42],"this":[43],"paper,":[44],"we":[45],"propose":[46],"DiSCo,":[47],"first":[49],"LLMs-based":[50],"EVM":[51],"decompilation":[52],"pipeline,":[53],"aims":[55],"enable":[57],"LLMs":[58],"understand":[60],"opaque":[62],"lift":[65],"it":[66],"code.":[70],"DiSCo":[71],"introduces":[72],"three":[73],"core":[74],"technologies.":[75],"First,":[76],"a":[77,100,119,141],"logic-invariant":[78],"intermediate":[79],"representation":[80],"proposed":[82],"reproject":[84],"low-level":[86],"high-level":[89],"abstracted":[90],"units.":[91],"The":[92,115],"second":[93],"technique":[94],"involves":[95],"semantic":[96],"enhancement":[97],"based":[98],"on":[99],"novel":[101],"type-aware":[102],"graph":[103],"model":[104],"infer":[106],"stripped":[107],"variables":[108],"during":[109],"compilation,":[110],"enhancing":[111],"lifting":[113],"effect.":[114],"third":[116],"technology":[117],"flexible":[120],"method":[121],"incorporating":[122],"code":[123,131,139,173],"specifications":[124],"construct":[126],"LLM-comprehensible":[127],"prompts":[128],"source":[130],"generation.":[132],"Extensive":[133],"experiments":[134],"illustrate":[135],"that":[136,160],"our":[137],"generated":[138,162],"guarantees":[140],"high":[142],"compilability":[143],"rate":[144,151],"at":[145,153],"75%,":[146],"with":[147],"differential":[148],"fuzzing":[149],"pass":[150],"averaging":[152],"50%.":[154],"Manual":[155],"validation":[156],"results":[157],"further":[158],"indicate":[159],"solidity":[163],"contracts":[164],"significantly":[165],"outperforms":[166],"baseline":[167],"methods":[168],"in":[169],"tasks":[170],"such":[171],"as":[172],"comprehension":[174],"attack":[176],"reproduction.":[177]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}