{"id":"https://openalex.org/W4402593510","doi":"https://doi.org/10.1109/tsc.2024.3463394","title":"A Survey on Security Analysis Methods of Smart Contracts","display_name":"A Survey on Security Analysis Methods of Smart Contracts","publication_year":2024,"publication_date":"2024-09-18","ids":{"openalex":"https://openalex.org/W4402593510","doi":"https://doi.org/10.1109/tsc.2024.3463394"},"language":"en","primary_location":{"id":"doi:10.1109/tsc.2024.3463394","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsc.2024.3463394","pdf_url":null,"source":{"id":"https://openalex.org/S204223317","display_name":"IEEE Transactions on Services Computing","issn_l":"1939-1374","issn":["1939-1374","2372-0204"],"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 Services Computing","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/A5071855354","display_name":"Huijuan Zhu","orcid":"https://orcid.org/0000-0003-2751-2607"},"institutions":[{"id":"https://openalex.org/I115592961","display_name":"Jiangsu University","ror":"https://ror.org/03jc41j30","country_code":"CN","type":"education","lineage":["https://openalex.org/I115592961"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Huijuan Zhu","raw_affiliation_strings":["School of Computer Science and Communication Engineering, Jiangsu University, Zhenjiang, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Communication Engineering, Jiangsu University, Zhenjiang, China","institution_ids":["https://openalex.org/I115592961"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111330132","display_name":"Lei Yang","orcid":null},"institutions":[{"id":"https://openalex.org/I115592961","display_name":"Jiangsu University","ror":"https://ror.org/03jc41j30","country_code":"CN","type":"education","lineage":["https://openalex.org/I115592961"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei Yang","raw_affiliation_strings":["School of Computer Science and Communication Engineering, Jiangsu University, Zhenjiang, China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Communication Engineering, Jiangsu University, Zhenjiang, China","institution_ids":["https://openalex.org/I115592961"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101519942","display_name":"Liangmin Wang","orcid":"https://orcid.org/0000-0001-8905-3456"},"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"],"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/A5051706630","display_name":"Victor S. Sheng","orcid":"https://orcid.org/0000-0003-4960-174X"},"institutions":[{"id":"https://openalex.org/I12315562","display_name":"Texas Tech University","ror":"https://ror.org/0405mnx93","country_code":"US","type":"education","lineage":["https://openalex.org/I12315562"]},{"id":"https://openalex.org/I4210132887","display_name":"III-N Technology (United States)","ror":"https://ror.org/03m9crh17","country_code":"US","type":"company","lineage":["https://openalex.org/I4210132887"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Victor S. Sheng","raw_affiliation_strings":["Department of Computer Science, Texas Tech Uni-versity, Lubbock, TX, USA","Department of Computer Science, Texas Tech University, Lubbock, TX, USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Texas Tech Uni-versity, Lubbock, TX, USA","institution_ids":["https://openalex.org/I12315562","https://openalex.org/I4210132887"]},{"raw_affiliation_string":"Department of Computer Science, Texas Tech University, Lubbock, TX, USA","institution_ids":["https://openalex.org/I12315562"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5071855354"],"corresponding_institution_ids":["https://openalex.org/I115592961"],"apc_list":null,"apc_paid":null,"fwci":10.9119,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.9828621,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":"17","issue":"6","first_page":"4522","last_page":"4539"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13999","display_name":"Digital Rights Management and Security","score":0.0722000002861023,"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/T13999","display_name":"Digital Rights Management and Security","score":0.0722000002861023,"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.04309999942779541,"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/T13038","display_name":"Internet of Things and AI","score":0.029899999499320984,"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.7610067129135132},{"id":"https://openalex.org/keywords/security-analysis","display_name":"Security analysis","score":0.5687622427940369},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5251635909080505}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7610067129135132},{"id":"https://openalex.org/C38369872","wikidata":"https://www.wikidata.org/wiki/Q7445009","display_name":"Security analysis","level":2,"score":0.5687622427940369},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5251635909080505}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tsc.2024.3463394","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsc.2024.3463394","pdf_url":null,"source":{"id":"https://openalex.org/S204223317","display_name":"IEEE Transactions on Services Computing","issn_l":"1939-1374","issn":["1939-1374","2372-0204"],"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 Services Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":162,"referenced_works":["https://openalex.org/W2539190473","https://openalex.org/W2604844934","https://openalex.org/W2778144710","https://openalex.org/W2790202156","https://openalex.org/W2794825356","https://openalex.org/W2798388185","https://openalex.org/W2805052744","https://openalex.org/W2846896781","https://openalex.org/W2885034081","https://openalex.org/W2899626999","https://openalex.org/W2908007588","https://openalex.org/W2954151438","https://openalex.org/W2957095584","https://openalex.org/W2963220038","https://openalex.org/W2963465913","https://openalex.org/W2963499972","https://openalex.org/W2963594166","https://openalex.org/W2963610883","https://openalex.org/W2970774586","https://openalex.org/W2970809537","https://openalex.org/W2970967309","https://openalex.org/W2978584252","https://openalex.org/W2979376077","https://openalex.org/W2979602992","https://openalex.org/W2981088827","https://openalex.org/W2981518695","https://openalex.org/W2982433869","https://openalex.org/W2985495886","https://openalex.org/W2989657022","https://openalex.org/W2994373027","https://openalex.org/W2996320455","https://openalex.org/W2997640974","https://openalex.org/W2998271084","https://openalex.org/W2999378142","https://openalex.org/W2999412776","https://openalex.org/W3003036212","https://openalex.org/W3003924369","https://openalex.org/W3006519733","https://openalex.org/W3007045600","https://openalex.org/W3008357810","https://openalex.org/W3008826875","https://openalex.org/W3009529394","https://openalex.org/W3013787812","https://openalex.org/W3013972692","https://openalex.org/W3014684725","https://openalex.org/W3014792488","https://openalex.org/W3015325345","https://openalex.org/W3016155638","https://openalex.org/W3025529919","https://openalex.org/W3026203297","https://openalex.org/W3034136313","https://openalex.org/W3034459010","https://openalex.org/W3035733952","https://openalex.org/W3043576244","https://openalex.org/W3083471387","https://openalex.org/W3088323786","https://openalex.org/W3091512861","https://openalex.org/W3091755869","https://openalex.org/W3093941959","https://openalex.org/W3095039369","https://openalex.org/W3095431539","https://openalex.org/W3095721059","https://openalex.org/W3098450669","https://openalex.org/W3112471862","https://openalex.org/W3112533106","https://openalex.org/W3116484444","https://openalex.org/W3118219298","https://openalex.org/W3129565431","https://openalex.org/W3130391092","https://openalex.org/W3132968002","https://openalex.org/W3155100939","https://openalex.org/W3156428445","https://openalex.org/W3165214486","https://openalex.org/W3170487895","https://openalex.org/W3176695921","https://openalex.org/W3177186237","https://openalex.org/W3180630398","https://openalex.org/W3181957689","https://openalex.org/W3186717497","https://openalex.org/W3193367200","https://openalex.org/W3194369791","https://openalex.org/W3195333052","https://openalex.org/W3199463718","https://openalex.org/W3207487452","https://openalex.org/W3210206069","https://openalex.org/W3214421193","https://openalex.org/W4205689130","https://openalex.org/W4206606482","https://openalex.org/W4206712151","https://openalex.org/W4211181447","https://openalex.org/W4214632715","https://openalex.org/W4221106574","https://openalex.org/W4225727354","https://openalex.org/W4226051393","https://openalex.org/W4285060547","https://openalex.org/W4285490412","https://openalex.org/W4285490421","https://openalex.org/W4285490458","https://openalex.org/W4285586691","https://openalex.org/W4288057718","https://openalex.org/W4292876772","https://openalex.org/W4299848005","https://openalex.org/W4304607691","https://openalex.org/W4306406277","https://openalex.org/W4306784136","https://openalex.org/W4308628416","https://openalex.org/W4308642997","https://openalex.org/W4313563646","https://openalex.org/W4313563778","https://openalex.org/W4316661173","https://openalex.org/W4317851174","https://openalex.org/W4321354064","https://openalex.org/W4324007147","https://openalex.org/W4362663576","https://openalex.org/W4366407813","https://openalex.org/W4367359426","https://openalex.org/W4376606573","https://openalex.org/W4378373104","https://openalex.org/W4380154251","https://openalex.org/W4382366481","https://openalex.org/W4384009691","https://openalex.org/W4384154486","https://openalex.org/W4384154487","https://openalex.org/W4384154512","https://openalex.org/W4384155618","https://openalex.org/W4384302865","https://openalex.org/W4384304916","https://openalex.org/W4384345844","https://openalex.org/W4385412537","https://openalex.org/W4386699788","https://openalex.org/W4386952226","https://openalex.org/W4387185496","https://openalex.org/W4388210146","https://openalex.org/W4388212457","https://openalex.org/W4388739372","https://openalex.org/W4389161628","https://openalex.org/W4391725258","https://openalex.org/W4392363702","https://openalex.org/W4394745748","https://openalex.org/W4394769342","https://openalex.org/W4405602563","https://openalex.org/W4406495120","https://openalex.org/W6753800069","https://openalex.org/W6754374649","https://openalex.org/W6754519360","https://openalex.org/W6759458195","https://openalex.org/W6761960746","https://openalex.org/W6767115310","https://openalex.org/W6769278921","https://openalex.org/W6775382685","https://openalex.org/W6776775275","https://openalex.org/W6781619225","https://openalex.org/W6781985859","https://openalex.org/W6784248342","https://openalex.org/W6788814308","https://openalex.org/W6794891352","https://openalex.org/W6795453372","https://openalex.org/W6843013978","https://openalex.org/W6849348875","https://openalex.org/W6854875083","https://openalex.org/W6863712866","https://openalex.org/W7052840242"],"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":{"Smart":[0],"contracts":[1,26,42],"have":[2],"gained":[3],"extensive":[4,175],"adoption":[5],"across":[6],"diverse":[7],"industries,":[8],"including":[9],"finance,":[10],"supply":[11],"chain,":[12],"and":[13,47,53,66,82,92,122,156,167,177,201,211],"the":[14,19,38,63,117,163,187],"Internet":[15],"of":[16,24,40,78,116,120,135,186],"Things.":[17],"Nevertheless,":[18],"surge":[20],"in":[21,50,62,191,218],"security":[22,39,60,80,142,194],"incidents":[23,61],"smart":[25,41,140,192],"over":[27],"recent":[28,137],"years":[29],"has":[30,43],"led":[31],"to":[32],"substantial":[33],"economic":[34],"losses.":[35],"Therefore,":[36],"ensuring":[37],"become":[44],"a":[45,132,183],"critical":[46],"complex":[48],"challenge":[49],"both":[51],"academic":[52],"industrial":[54],"domains.":[55],"Based":[56],"on":[57,139],"539":[58],"real-world":[59],"Ethereum":[64],"platform":[65],"audit":[67],"reports":[68],"from":[69,179],"10":[70],"authoritative":[71],"auditing":[72],"institutions,":[73],"we":[74,97,111,130,161,172],"summarize":[75],"27":[76],"types":[77,105],"exploited":[79],"vulnerabilities":[81,121],"draw":[83],"insights":[84],"into":[85,147],"their":[86],"principles,":[87],"typical":[88],"cases,":[89],"relevant":[90],"research":[91,189,217],"recommended":[93],"prevention":[94],"strategies.":[95],"Besides,":[96],"also":[98,197],"gather":[99],"7":[100],"other":[101],"potentially":[102],"threatening":[103],"vulnerability":[104],"as":[106],"supplements.":[107],"On":[108],"this":[109,206,219],"basis,":[110],"conduct":[112,173],"an":[113,174],"in-depth":[114],"analysis":[115,176],"root":[118],"causes":[119],"further":[123],"formulate":[124],"eight":[125],"safety":[126],"practical":[127],"rules.":[128],"Moreover,":[129],"perform":[131],"comprehensive":[133,184],"review":[134,207],"178":[136],"papers":[138],"contract":[141,193],"analysis,":[143,155],"classifying":[144],"detection":[145,165],"methods":[146],"formal":[148],"verification,":[149],"fuzz":[150],"testing,":[151],"machine":[152],"learning,":[153],"program":[154],"others.":[157],"For":[158],"each":[159],"category,":[160],"seize":[162],"specific":[164],"tools":[166],"analyze":[168],"them":[169],"comprehensively.":[170],"Then,":[171],"synthesis":[178],"various":[180],"angles,":[181],"presenting":[182],"overview":[185],"current":[188,199],"landscape":[190],"detection.":[195],"We":[196],"discuss":[198],"on-chain":[200],"off-chain":[202],"repair":[203],"methods.":[204],"Finally,":[205],"outlines":[208],"major":[209],"challenges":[210],"highlights":[212],"potential":[213],"areas":[214],"for":[215],"future":[216],"field.":[220]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":13}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}