{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T13:20:14Z","timestamp":1769088014365,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":75,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T00:00:00Z","timestamp":1726012800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"The National Natural Science Foundation of China","award":["62332004"],"award-info":[{"award-number":["62332004"]}]},{"name":"The Sichuan Provincial Natural Science Foundation for Distinguished Young Scholars","award":["2023NSFSC1963"],"award-info":[{"award-number":["2023NSFSC1963"]}]},{"name":"The Basic Strengthening Program","award":["2021-JCJQ-JJ-0463"],"award-info":[{"award-number":["2021-JCJQ-JJ-0463"]}]},{"name":"The Hong Kong RGC Projects","award":["PolyU15224121, PolyU15231223"],"award-info":[{"award-number":["PolyU15224121, PolyU15231223"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,11]]},"DOI":"10.1145\/3650212.3680391","type":"proceedings-article","created":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:44:25Z","timestamp":1726055065000},"page":"1682-1694","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4368-0950","authenticated-orcid":false,"given":"Shuwei","family":"Song","sequence":"first","affiliation":[{"name":"University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0192-9992","authenticated-orcid":false,"given":"Jiachi","family":"Chen","sequence":"additional","affiliation":[{"name":"Sun Yat-sen University, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9165-8331","authenticated-orcid":false,"given":"Ting","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9082-3208","authenticated-orcid":false,"given":"Xiapu","family":"Luo","sequence":"additional","affiliation":[{"name":"The Hong Kong Polytechnic University, Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-5866-0154","authenticated-orcid":false,"given":"Teng","family":"Li","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-6837-1393","authenticated-orcid":false,"given":"Wenwu","family":"Yang","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-5599-1790","authenticated-orcid":false,"given":"Leqing","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-6013-6303","authenticated-orcid":false,"given":"Weijie","family":"Zhang","sequence":"additional","affiliation":[{"name":"Jiangsu University of Science and Technology, Zhenjiang, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-4594-0394","authenticated-orcid":false,"given":"Feng","family":"Luo","sequence":"additional","affiliation":[{"name":"The Hong Kong Polytechnic University, Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2131-1046","authenticated-orcid":false,"given":"Zheyuan","family":"He","sequence":"additional","affiliation":[{"name":"University of Electronic Science and Technology of China, Chengdu, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-4238-8881","authenticated-orcid":false,"given":"Yi","family":"Lu","sequence":"additional","affiliation":[{"name":"BitsLab, Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-2106-9559","authenticated-orcid":false,"given":"Pan","family":"Li","sequence":"additional","affiliation":[{"name":"MoveBit, Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,9,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jksuci.2022.08.029"},{"key":"e_1_3_2_1_2_1","volume-title":"https:\/\/aptflip.com\/ Accessed on","author":"Aptflip","year":"2024","unstructured":"Aptflip. 2024. Aptflip | Flip to win. https:\/\/aptflip.com\/ Accessed on: April 6, 2024"},{"key":"e_1_3_2_1_3_1","volume-title":"Daily User Transactions. https:\/\/aptoscan.com\/ Accessed on","year":"2024","unstructured":"Aptoscan. 2024. Daily User Transactions. https:\/\/aptoscan.com\/ Accessed on: February 7, 2024"},{"key":"e_1_3_2_1_4_1","volume-title":"https:\/\/argo.fi\/ Accessed on","author":"Argo","year":"2024","unstructured":"argo. 2024. Argo | USDA. https:\/\/argo.fi\/ Accessed on: April 6, 2024"},{"key":"e_1_3_2_1_5_1","volume-title":"https:\/\/github.com\/BeosinBlockchainSecurity\/Move-Lint Accessed on","author":"Lint Move","year":"2023","unstructured":"BeosinBlockchainSecurity. 2023. Move Lint. https:\/\/github.com\/BeosinBlockchainSecurity\/Move-Lint Accessed on: September 13, 2023"},{"key":"e_1_3_2_1_6_1","volume-title":"https:\/\/github.com\/BFlyFinance\/FAI Accessed on","author":"FAI.","year":"2023","unstructured":"BFlyFinance. 2022. FAI. https:\/\/github.com\/BFlyFinance\/FAI Accessed on: November 13, 2023"},{"key":"e_1_3_2_1_7_1","volume-title":"Dario Russi Rain, and Stephane Sezer","author":"Blackshear Sam","year":"2019","unstructured":"Sam Blackshear, Evan Cheng, David L Dill, Victor Gao, Ben Maurer, Todd Nowacki, Alistair Pott, Shaz Qadeer, Dario Russi Rain, and Stephane Sezer. 2019. Move: A language with programmable resources. Libra Assoc, 1. https:\/\/api.semanticscholar.org\/CorpusID:201681125"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111550"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2023.111919"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3345664"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1177\/001316446002000104"},{"key":"e_1_3_2_1_12_1","volume-title":"d.]. Cryptocurrency Prices by Market Cap. https:\/\/www.coingecko.com\/ Accessed on","year":"2024","unstructured":"CoinGecko. [n. d.]. Cryptocurrency Prices by Market Cap. https:\/\/www.coingecko.com\/ Accessed on: February 1, 2024"},{"key":"e_1_3_2_1_13_1","volume-title":"d.]. Mythril. https:\/\/github.com\/Consensys\/mythril Accessed on","year":"2024","unstructured":"Consensys. [n. d.]. Mythril. https:\/\/github.com\/Consensys\/mythril Accessed on: January 30, 2024"},{"key":"e_1_3_2_1_14_1","first-page":"1","article-title":"A simple, fast dominance algorithm","volume":"4","author":"Cooper Keith D","year":"2001","unstructured":"Keith D Cooper, Timothy J Harvey, and Ken Kennedy. 2001. A simple, fast dominance algorithm. Software Practice & Experience, 4, 1-10 (2001), 1\u20138.","journal-title":"Software Practice & Experience"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.3390\/s23167246"},{"key":"e_1_3_2_1_16_1","volume-title":"Abel Finance - Decentralized LP Lending Platform. https:\/\/abelfinance.xyz\/ Accessed on","author":"Finance ABEL","year":"2024","unstructured":"ABEL Finance. 2024. Abel Finance - Decentralized LP Lending Platform. https:\/\/abelfinance.xyz\/ Accessed on: April 6, 2024"},{"key":"e_1_3_2_1_17_1","volume-title":"https:\/\/github.com\/aptos-foundation\/ecosystem-projects Accessed on","author":"Foundation Aptos","year":"2023","unstructured":"Aptos Foundation. 2023. Aptos Ecosystem. https:\/\/github.com\/aptos-foundation\/ecosystem-projects Accessed on: November 13, 2023"},{"key":"e_1_3_2_1_18_1","volume-title":"Aptos - The World\u2019s Most Production-Ready Blockchain. https:\/\/aptosfoundation.org\/ Accessed on","author":"Foundation Aptos","year":"2024","unstructured":"Aptos Foundation. 2024. Aptos - The World\u2019s Most Production-Ready Blockchain. https:\/\/aptosfoundation.org\/ Accessed on: January 22, 2024"},{"key":"e_1_3_2_1_19_1","volume-title":"https:\/\/axelar.network\/ Accessed on","author":"Foundation Axelar","year":"2024","unstructured":"Axelar Foundation. 2024. Axelar | Internet-scale interoperability. https:\/\/axelar.network\/ Accessed on: April 6, 2024"},{"key":"e_1_3_2_1_20_1","volume-title":"Move Specification Language. https:\/\/aptos.dev\/move\/prover\/spec-lang\/ Accessed on","author":"Foundation Aptos","year":"2024","unstructured":"Aptos Foundation. 2024. Move Specification Language. https:\/\/aptos.dev\/move\/prover\/spec-lang\/ Accessed on: March 7, 2024"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534378"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","unstructured":"Asem Ghaleb Julia Rubin and Karthik Pattabiraman. 2023. AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities. May 945\u2013956. issn:1558-1225 https:\/\/doi.org\/10.1109\/ICSE48619.2023.00087 10.1109\/ICSE48619.2023.00087","DOI":"10.1109\/ICSE48619.2023.00087"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3416262"},{"key":"e_1_3_2_1_24_1","volume-title":"Boogie type error with bit vector number representatioon. https:\/\/github.com\/aptos-labs\/aptos-core\/issues\/12526 Accessed on","author":"Grieskamp Wolfgang","year":"2024","unstructured":"Wolfgang Grieskamp. 2024. Boogie type error with bit vector number representatioon. https:\/\/github.com\/aptos-labs\/aptos-core\/issues\/12526 Accessed on: March 25, 2024"},{"key":"e_1_3_2_1_25_1","unstructured":"Zheyuan He Zihao Li Sen Yang Ao Qiao Xiaosong Zhang Xiapu Luo and Ting Chen. 2024. Large Language Models for Blockchain Security: A Systematic Literature Review. arxiv:2403.14280. arxiv:2403.14280"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2023.3233999"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2021.3092639"},{"key":"e_1_3_2_1_28_1","volume-title":"CDRF: A Detection Method of Smart Contract Vulnerability Based on Random Forest. In Provable and Practical Security","author":"Huang Meng","year":"2023","unstructured":"Meng Huang, Jia Yang, and Cong Liu. 2023. CDRF: A Detection Method of Smart Contract Vulnerability Based on Random Forest. In Provable and Practical Security, Mingwu Zhang, Man Ho Au, and Yudi Zhang (Eds.). Springer Nature Switzerland, Cham. 407\u2013428. isbn:978-3-031-45513-1"},{"key":"e_1_3_2_1_29_1","volume-title":"The #1 Web3 Data Infra. https:\/\/chainbase.com\/ Accessed on","author":"Chainbase Inc.","year":"2023","unstructured":"Chainbase Inc.. 2023. Chainbase.com: The #1 Web3 Data Infra. https:\/\/chainbase.com\/ Accessed on: November 13, 2023"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSESS54813.2022.9930214"},{"key":"e_1_3_2_1_32_1","volume-title":"Decentralized Web3 Infrastructure - Blast API. https:\/\/blastapi.io\/ Accessed on","author":"Labs Bware","year":"2024","unstructured":"Bware Labs. 2024. Decentralized Web3 Infrastructure - Blast API. https:\/\/blastapi.io\/ Accessed on: April 6, 2024"},{"key":"e_1_3_2_1_33_1","volume-title":"https:\/\/github.com\/MystenLabs\/awesome-move Accessed on","author":"Labs Mysten","year":"2023","unstructured":"Mysten Labs. 2023. Awesome Move. https:\/\/github.com\/MystenLabs\/awesome-move Accessed on: November 13, 2023"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2022.3163614"},{"key":"e_1_3_2_1_35_1","volume-title":"Cyber Security","author":"Liu Yiping","unstructured":"Yiping Liu, Jie Xu, and Baojiang Cui. 2022. Smart Contract Vulnerability Detection Based on Symbolic Execution Technology. In Cyber Security, Wei Lu, Yuqing Zhang, Weiping Wen, Hanbing Yan, and Chao Li (Eds.). Springer Nature Singapore, Singapore. 193\u2013207. isbn:978-981-16-9229-1"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3298048"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_1_38_1","volume-title":"CWE-252: Unchecked Return Value. https:\/\/cwe.mitre.org\/data\/definitions\/252.html Accessed on","author":"MITRE.","year":"2024","unstructured":"MITRE. 2024. CWE-252: Unchecked Return Value. https:\/\/cwe.mitre.org\/data\/definitions\/252.html Accessed on: March 7, 2024"},{"key":"e_1_3_2_1_39_1","volume-title":"Move standard library. https:\/\/github.com\/move-language\/move\/tree\/main\/language\/move-stdlib Accessed on","year":"2024","unstructured":"Move. 2024. Move standard library. https:\/\/github.com\/move-language\/move\/tree\/main\/language\/move-stdlib Accessed on: April 6, 2024"},{"key":"e_1_3_2_1_40_1","volume-title":"Introduction - The Move Book. https:\/\/move-language.github.io\/move\/ Accessed on","year":"2024","unstructured":"move language. 2023. Introduction - The Move Book. https:\/\/move-language.github.io\/move\/ Accessed on: January 22, 2024"},{"key":"e_1_3_2_1_41_1","volume-title":"MoveBit: Pioneer in Move Security. https:\/\/movebit.xyz\/ Accessed on","year":"2023","unstructured":"MoveBit. 2023. MoveBit: Pioneer in Move Security. https:\/\/movebit.xyz\/ Accessed on: November 13, 2023"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.matpr.2021.04.125"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/SDS59856.2023.10328964"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","unstructured":"Hoang H. Nguyen Nhat-Minh Nguyen Chunyao Xie Zahra Ahmadi Daniel Kudendo Thanh-Nam Doan and Lingxiao Jiang. 2023. MANDO-HGT: Heterogeneous Graph Transformers for Smart Contract Vulnerability Detection. May 334\u2013346. issn:2574-3864 https:\/\/doi.org\/10.1109\/MSR59073.2023.00052 10.1109\/MSR59073.2023.00052","DOI":"10.1109\/MSR59073.2023.00052"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380334"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510454.3516869"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3564699"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2023.12.151"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.FMBC.2024.9"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2023.111653"},{"key":"e_1_3_2_1_51_1","volume-title":"Smarter Contracts: Detecting Vulnerabilities in Smart Contracts with Deep Transfer Learning. In 30th Annual Network and Distributed System Security Symposium, NDSS 2023","author":"Sendner Christoph","year":"2023","unstructured":"Christoph Sendner, Huili Chen, Hossein Fereidooni, Lukas Petzi, Jan K\u00f6nig, Jasper Stang, Alexandra Dmitrienko, Ahmad-Reza Sadeghi, and Farinaz Koushanfar. 2023. Smarter Contracts: Detecting Vulnerabilities in Smart Contracts with Deep Transfer Learning. In 30th Annual Network and Distributed System Security Symposium, NDSS 2023, San Diego, California, USA, February 27 - March 3, 2023. The Internet Society. https:\/\/www.ndss-symposium.org\/ndss-paper\/smarter-contracts-detecting-vulnerabilities-in-smart-contracts-with-deep-transfer-learning\/"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598059"},{"key":"e_1_3_2_1_53_1","volume-title":"Neural Information Processing, Biao Luo, Long Cheng, Zheng-Guang Wu","author":"Song Shuxiao","unstructured":"Shuxiao Song, Xiao Yu, Yuexuan Ma, Jiale Li, and Jie Yu. 2024. Multi-model Smart Contract Vulnerability Detection Based on BiGRU. In Neural Information Processing, Biao Luo, Long Cheng, Zheng-Guang Wu, Hongyi Li, and Chaojie Li (Eds.). Springer Nature Singapore, Singapore. 3\u201314. isbn:978-981-99-8132-8"},{"key":"e_1_3_2_1_54_1","volume-title":"Card sorting: a definitive guide. Boxes and arrows, 2","author":"Spencer Donna","year":"2004","unstructured":"Donna Spencer and Todd Warfel. 2004. Card sorting: a definitive guide. Boxes and arrows, 2, 2004 (2004), 1\u201323."},{"key":"e_1_3_2_1_55_1","volume-title":"Suiscan: Sui Explorer. https:\/\/suiscan.xyz\/mainnet\/home Accessed on","year":"2023","unstructured":"Staketab. 2023. Suiscan: Sui Explorer. https:\/\/suiscan.xyz\/mainnet\/home Accessed on: November 13, 2023"},{"key":"e_1_3_2_1_56_1","volume-title":"https:\/\/github.com\/starcoinorg\/starcoin-framework Accessed on","author":"Framework Starcoin","year":"2023","unstructured":"Starcoin. 2023. Starcoin Framework. https:\/\/github.com\/starcoinorg\/starcoin-framework Accessed on: November 13, 2023"},{"key":"e_1_3_2_1_57_1","volume-title":"https:\/\/stcscan.io\/main\/transactions\/1 Accessed on","author":"Starcoin Transactions","year":"2024","unstructured":"Starcoin. 2024. Transactions - Starcoin. https:\/\/stcscan.io\/main\/transactions\/1 Accessed on: February 7, 2024"},{"key":"e_1_3_2_1_58_1","volume-title":"Starcoin: Homepage. https:\/\/starcoin.org\/en\/ Accessed on","year":"2021","unstructured":"Starcoin.org. 2021. Starcoin: Homepage. https:\/\/starcoin.org\/en\/ Accessed on: January 22, 2024"},{"key":"e_1_3_2_1_59_1","volume-title":"Poly Stc contracts. https:\/\/github.com\/Elements-Studio\/poly-stc-contracts Accessed on","author":"Studio Elements","year":"2023","unstructured":"Elements Studio. 2022. Poly Stc contracts. https:\/\/github.com\/Elements-Studio\/poly-stc-contracts Accessed on: November 13, 2023"},{"key":"e_1_3_2_1_60_1","volume-title":"Starswap core. https:\/\/github.com\/Elements-Studio\/starswap-core Accessed on","author":"Studio Elements","year":"2023","unstructured":"Elements Studio. 2022. Starswap core. https:\/\/github.com\/Elements-Studio\/starswap-core Accessed on: November 13, 2023"},{"key":"e_1_3_2_1_61_1","volume-title":"https:\/\/sui.io\/ Accessed on","author":"Sui","year":"2024","unstructured":"Sui. 2023. Sui | Unlock the freedom to build powerful on-chain assets. https:\/\/sui.io\/ Accessed on: January 22, 2024"},{"key":"e_1_3_2_1_62_1","volume-title":"Capability - Move by Example. https:\/\/examples.sui.io\/patterns\/capability.html Accessed on","year":"2024","unstructured":"Sui. 2024. Capability - Move by Example. https:\/\/examples.sui.io\/patterns\/capability.html Accessed on: April 6, 2024"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194113.3194115"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3464421"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2020.110891"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSR.2017.59"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00127"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2018.8500488"},{"key":"e_1_3_2_1_69_1","volume-title":"M-A-R: A Dynamic Symbol Execution Detection Method for Smart Contract Reentry Vulnerability","author":"Wang Zexu","unstructured":"Zexu Wang, Bin Wen, Ziqiang Luo, and Shaojie Liu. 2021. M-A-R: A Dynamic Symbol Execution Detection Method for Smart Contract Reentry Vulnerability. In Blockchain and Trustworthy Systems, Hong-Ning Dai, Xuanzhe Liu, Daniel Xiapu Luo, Jiang Xiao, and Xiangping Chen (Eds.). Springer Singapore, Singapore. 418\u2013429. isbn:978-981-16-7993-3"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSN53354.2021.00069"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2023.111699"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jisa.2023.103484"},{"key":"e_1_3_2_1_73_1","volume-title":"Dill","author":"Zhong Jingyi Emma","year":"2020","unstructured":"Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark Barrett, and David L. Dill. 2020. The Move Prover. In Computer Aided Verification, Shuvendu K. Lahiri and Chao Wang (Eds.). Springer International Publishing, Cham. 137\u2013150. isbn:978-3-030-53288-8"},{"key":"e_1_3_2_1_74_1","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2023 Workshops, Osvaldo Gervasi, Beniamino Murgante, Ana Maria A","author":"Zhukov Andrei","unstructured":"Andrei Zhukov and Vladimir Korkhov. 2023. SmartGraph: Static Analysis Tool for Solidity Smart Contracts. In Computational Science and Its Applications \u2013 ICCSA 2023 Workshops, Osvaldo Gervasi, Beniamino Murgante, Ana Maria A. C. Rocha, Chiara Garau, Francesco Scorza, Yeliz Karaca, and Carmelo M. Torre (Eds.). Springer Nature Switzerland, Cham. 584\u2013598. isbn:978-3-031-37105-9"},{"key":"e_1_3_2_1_75_1","volume-title":"A General Smart Contract Vulnerability Detection Framework with Self-attention Graph Pooling","author":"Zou Lihan","unstructured":"Lihan Zou, Changhao Gong, Zhen Wu, Jie Tan, Junnan Tang, Zigui Jiang, and Dan Li. 2024. A General Smart Contract Vulnerability Detection Framework with Self-attention Graph Pooling. In Blockchain and Trustworthy Systems, Jiachi Chen, Bin Wen, and Ting Chen (Eds.). Springer Nature Singapore, Singapore. 3\u201316. isbn:978-981-99-8104-5"}],"event":{"name":"ISSTA '24: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Vienna Austria","acronym":"ISSTA '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3680391","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3650212.3680391","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:58:09Z","timestamp":1750294689000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3680391"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,11]]},"references-count":75,"alternative-id":["10.1145\/3650212.3680391","10.1145\/3650212"],"URL":"https:\/\/doi.org\/10.1145\/3650212.3680391","relation":{},"subject":[],"published":{"date-parts":[[2024,9,11]]},"assertion":[{"value":"2024-09-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}