{"id":"https://openalex.org/W4402457716","doi":"https://doi.org/10.1145/3650212.3680391","title":"Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis","display_name":"Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis","publication_year":2024,"publication_date":"2024-09-11","ids":{"openalex":"https://openalex.org/W4402457716","doi":"https://doi.org/10.1145/3650212.3680391"},"language":"en","primary_location":{"id":"doi:10.1145/3650212.3680391","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3650212.3680391","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-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/A5055604718","display_name":"Shuwei Song","orcid":"https://orcid.org/0000-0003-4368-0950"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Shuwei Song","raw_affiliation_strings":["University of Electronic Science and Technology of China, Chengdu, China"],"affiliations":[{"raw_affiliation_string":"University of Electronic Science and Technology of China, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086118824","display_name":"Jiachi Chen","orcid":"https://orcid.org/0000-0002-0192-9992"},"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"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiachi Chen","raw_affiliation_strings":["Sun Yat-sen University, Guangzhou, China"],"affiliations":[{"raw_affiliation_string":"Sun Yat-sen University, Guangzhou, China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100443178","display_name":"Ting Chen","orcid":"https://orcid.org/0000-0001-9165-8331"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ting Chen","raw_affiliation_strings":["University of Electronic Science and Technology of China, Chengdu, China"],"affiliations":[{"raw_affiliation_string":"University of Electronic Science and Technology of China, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100400376","display_name":"Xiapu Luo","orcid":"https://orcid.org/0000-0002-9082-3208"},"institutions":[{"id":"https://openalex.org/I14243506","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98","country_code":"HK","type":"education","lineage":["https://openalex.org/I14243506"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Xiapu Luo","raw_affiliation_strings":["The Hong Kong Polytechnic University, Hong Kong, China"],"affiliations":[{"raw_affiliation_string":"The Hong Kong Polytechnic University, Hong Kong, China","institution_ids":["https://openalex.org/I14243506"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003242925","display_name":"Teng Li","orcid":null},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Teng Li","raw_affiliation_strings":["University of Electronic Science and Technology of China, Chengdu, China"],"affiliations":[{"raw_affiliation_string":"University of Electronic Science and Technology of China, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103189317","display_name":"Wenwu Yang","orcid":"https://orcid.org/0009-0003-6837-1393"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenwu Yang","raw_affiliation_strings":["University of Electronic Science and Technology of China, Chengdu, China"],"affiliations":[{"raw_affiliation_string":"University of Electronic Science and Technology of China, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004125907","display_name":"Leqing Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Leqing Wang","raw_affiliation_strings":["University of Electronic Science and Technology of China, Chengdu, China"],"affiliations":[{"raw_affiliation_string":"University of Electronic Science and Technology of China, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041501162","display_name":"Wenya Zhang","orcid":"https://orcid.org/0000-0001-9112-7928"},"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":"Weijie Zhang","raw_affiliation_strings":["Jiangsu University of Science and Technology, Zhenjiang, China"],"affiliations":[{"raw_affiliation_string":"Jiangsu University of Science and Technology, Zhenjiang, China","institution_ids":["https://openalex.org/I4210096899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101542730","display_name":"Luo Feng","orcid":"https://orcid.org/0009-0004-4594-0394"},"institutions":[{"id":"https://openalex.org/I14243506","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98","country_code":"HK","type":"education","lineage":["https://openalex.org/I14243506"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Feng Luo","raw_affiliation_strings":["The Hong Kong Polytechnic University, Hong Kong, China"],"affiliations":[{"raw_affiliation_string":"The Hong Kong Polytechnic University, Hong Kong, China","institution_ids":["https://openalex.org/I14243506"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019899373","display_name":"Zheyuan He","orcid":"https://orcid.org/0000-0003-2131-1046"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zheyuan He","raw_affiliation_strings":["University of Electronic Science and Technology of China, Chengdu, China"],"affiliations":[{"raw_affiliation_string":"University of Electronic Science and Technology of China, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082386183","display_name":"Yi Lu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yi Lu","raw_affiliation_strings":["BitsLab, Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"BitsLab, Singapore, Singapore","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5114225219","display_name":"Pan Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pan Li","raw_affiliation_strings":["MoveBit, Hong Kong, China"],"affiliations":[{"raw_affiliation_string":"MoveBit, Hong Kong, China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":12,"corresponding_author_ids":["https://openalex.org/A5055604718"],"corresponding_institution_ids":["https://openalex.org/I150229711"],"apc_list":null,"apc_paid":null,"fwci":3.2474,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.93223624,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1682","last_page":"1694"},"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.9995999932289124,"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.9995999932289124,"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.9434000253677368,"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/T12519","display_name":"Cybercrime and Law Enforcement Studies","score":0.906499981880188,"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.5997000932693481},{"id":"https://openalex.org/keywords/security-analysis","display_name":"Security analysis","score":0.5758302807807922},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.493307501077652}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5997000932693481},{"id":"https://openalex.org/C38369872","wikidata":"https://www.wikidata.org/wiki/Q7445009","display_name":"Security analysis","level":2,"score":0.5758302807807922},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.493307501077652}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3650212.3680391","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3650212.3680391","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W2053154970","https://openalex.org/W2539190473","https://openalex.org/W2724374034","https://openalex.org/W2805827286","https://openalex.org/W2846896781","https://openalex.org/W2897525439","https://openalex.org/W2987160260","https://openalex.org/W3088323786","https://openalex.org/W3091620507","https://openalex.org/W3116484444","https://openalex.org/W3159818932","https://openalex.org/W3163257481","https://openalex.org/W3175191348","https://openalex.org/W3186717497","https://openalex.org/W4205902573","https://openalex.org/W4226051393","https://openalex.org/W4226144303","https://openalex.org/W4285490458","https://openalex.org/W4294723788","https://openalex.org/W4297493117","https://openalex.org/W4306931660","https://openalex.org/W4308078800","https://openalex.org/W4312495723","https://openalex.org/W4317851174","https://openalex.org/W4322765894","https://openalex.org/W4362677056","https://openalex.org/W4366608288","https://openalex.org/W4384009709","https://openalex.org/W4384155618","https://openalex.org/W4384302865","https://openalex.org/W4385194706","https://openalex.org/W4385986584","https://openalex.org/W4388967057","https://openalex.org/W4389296463","https://openalex.org/W4389737048","https://openalex.org/W4391037459","https://openalex.org/W6947952523"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Move,":[0],"a":[1,46,139,190],"programming":[2],"language":[3],"for":[4,9],"smart":[5],"contracts,":[6,95],"stands":[7],"out":[8],"its":[10],"focus":[11],"on":[12,34],"security.":[13],"However,":[14],"the":[15,29,35,87,133,148],"practical":[16],"security":[17,36,47,73],"efficacy":[18],"of":[19,37,63,89,142,150,160,174,182,193],"Move":[20,38,56,94,186,213],"contracts":[21,53,131],"remains":[22],"an":[23,99,107,155,172,177],"open":[24],"question.":[25],"This":[26,58,164],"work":[27],"conducts":[28],"first":[30],"comprehensive":[31],"empirical":[32],"study":[33],"contracts.":[39,214],"Our":[40,199],"initial":[41],"step":[42],"involves":[43],"collaborating":[44],"with":[45,65,154,176],"company":[48],"to":[49],"manually":[50],"audit":[51],"652":[52],"from":[54],"92":[55],"projects.":[57],"process":[59],"reveals":[60],"eight":[61,117],"types":[62],"defects,":[64],"half":[66],"previously":[67],"unreported.":[68],"These":[69],"defects":[70,91,126],"present":[71,97],"potential":[72],"risks,":[74],"cause":[75],"functional":[76],"flaws,":[77],"mislead":[78],"users,":[79],"or":[80],"waste":[81],"computational":[82],"resources.":[83],"To":[84],"further":[85],"evaluate":[86],"prevalence":[88,141],"these":[90],"in":[92,132,209],"real-world":[93],"we":[96,123],"MoveScan,":[98,122],"automated":[100],"analysis":[101,158,180],"framework":[102],"that":[103,147,207],"translates":[104],"bytecode":[105],"into":[106],"intermediate":[108],"representation":[109],"(IR),":[110],"extracts":[111],"essential":[112],"meta-information,":[113],"and":[114,135,185,195,205],"detects":[115],"all":[116,128],"defect":[118],"types.":[119],"By":[120],"leveraging":[121],"uncover":[124],"97,028":[125],"across":[127],"37,302":[129],"deployed":[130],"Aptos":[134],"Sui":[136],"blockchains,":[137],"indicating":[138],"high":[140],"defects.":[143],"Experimental":[144],"results":[145],"demonstrate":[146],"precision":[149],"MoveScan":[151],"reaches":[152],"98.85%,":[153],"average":[156,178],"project":[157,179],"time":[159,181],"merely":[161],"5.45":[162],"milliseconds.":[163],"surpasses":[165],"previous":[166],"state-of-the-art":[167],"tools":[168],"MoveLint,":[169],"which":[170,188],"exhibits":[171],"accuracy":[173],"87.50%":[175],"71.72":[183],"milliseconds,":[184],"Prover,":[187],"has":[189],"recall":[191],"rate":[192],"6.02%":[194],"requires":[196],"manual":[197],"intervention.":[198],"research":[200],"also":[201],"yields":[202],"new":[203],"observations":[204],"insights":[206],"aid":[208],"developing":[210],"more":[211],"secure":[212]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1}],"updated_date":"2025-12-21T01:58:51.020947","created_date":"2025-10-10T00:00:00"}