{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T11:37:57Z","timestamp":1791459477561,"version":"4.3.4"},"publisher-location":"New York, NY, USA","reference-count":61,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T00:00:00Z","timestamp":1689120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100005950","name":"Hong Kong University of Science and Technology","doi-asserted-by":"publisher","award":["RMGS22EG02"],"award-info":[{"award-number":["RMGS22EG02"]}],"id":[{"id":"10.13039\/501100005950","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004853","name":"Chinese University of Hong Kong","doi-asserted-by":"publisher","award":["4055127, 4170890"],"award-info":[{"award-number":["4055127, 4170890"]}],"id":[{"id":"10.13039\/501100004853","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,12]]},"DOI":"10.1145\/3597926.3598125","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"1157-1168","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Beyond \u201cProtected\u201d and \u201cPrivate\u201d: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts"],"prefix":"10.1145","author":[{"given":"Yuzhou","family":"Fang","sequence":"first","affiliation":[{"name":"Hong Kong University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daoyuan","family":"Wu","sequence":"additional","affiliation":[{"name":"Chinese University of Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiao","family":"Yi","sequence":"additional","affiliation":[{"name":"Chinese University of Hong Kong, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shuai","family":"Wang","sequence":"additional","affiliation":[{"name":"Hong Kong University of Science and Technology, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yufan","family":"Chen","sequence":"additional","affiliation":[{"name":"Xidian University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mengjie","family":"Chen","sequence":"additional","affiliation":[{"name":"Mask Network, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lingxiao","family":"Jiang","sequence":"additional","affiliation":[{"name":"Singapore Management University, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2014. Using a Divide and Conquer Algorithm to Split Text without Spaces into List of Words. https:\/\/stackoverflow.com\/a\/21308255\/197165\/ \t\t\t\t  2014. Using a Divide and Conquer Algorithm to Split Text without Spaces into List of Words. https:\/\/stackoverflow.com\/a\/21308255\/197165\/"},{"key":"e_1_3_2_1_2_1","unstructured":"2016. The Dao Attack. https:\/\/www.coindesk.com\/learn\/understanding-the-dao-attack\/ \t\t\t\t  2016. The Dao Attack. https:\/\/www.coindesk.com\/learn\/understanding-the-dao-attack\/"},{"key":"e_1_3_2_1_3_1","unstructured":"2017. The Parity Wallet Bug. https:\/\/blog.openzeppelin.com\/on-the-parity-wallet-multisig-hack-405a8c12e8f7 \t\t\t\t  2017. The Parity Wallet Bug. https:\/\/blog.openzeppelin.com\/on-the-parity-wallet-multisig-hack-405a8c12e8f7"},{"key":"e_1_3_2_1_4_1","unstructured":"2023. Ethereum Virtual Machine (EVM). https:\/\/Ethereum.org\/en\/developers\/docs\/evm\/ \t\t\t\t  2023. Ethereum Virtual Machine (EVM). https:\/\/Ethereum.org\/en\/developers\/docs\/evm\/"},{"key":"e_1_3_2_1_5_1","unstructured":"2023. EtherScan. https:\/\/etherscan.io\/ \t\t\t\t  2023. EtherScan. https:\/\/etherscan.io\/"},{"key":"e_1_3_2_1_6_1","unstructured":"2023. Solc-select. https:\/\/github.com\/crytic\/solc-select \t\t\t\t  2023. Solc-select. https:\/\/github.com\/crytic\/solc-select"},{"key":"e_1_3_2_1_7_1","unstructured":"2023. The Solidity Document. https:\/\/docs.soliditylang.org\/ \t\t\t\t  2023. The Solidity Document. https:\/\/docs.soliditylang.org\/"},{"key":"e_1_3_2_1_8_1","unstructured":"2023. Solidity Programming Language. https:\/\/soliditylang.org\/ \t\t\t\t  2023. Solidity Programming Language. https:\/\/soliditylang.org\/"},{"key":"e_1_3_2_1_9_1","unstructured":"2023. spaCy: Industrial-Strength Natural Language Processing. https:\/\/spacy.io\/ \t\t\t\t  2023. spaCy: Industrial-Strength Natural Language Processing. https:\/\/spacy.io\/"},{"key":"e_1_3_2_1_10_1","unstructured":"2023. WordNet by Princeton University. http:\/\/wordnet.princeton.edu\/ \t\t\t\t  2023. WordNet by Princeton University. http:\/\/wordnet.princeton.edu\/"},{"key":"e_1_3_2_1_11_1","unstructured":"2023. Z3. https:\/\/github.com\/Z3Prover\/z3 \t\t\t\t  2023. Z3. https:\/\/github.com\/Z3Prover\/z3"},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. IEEE Symposium on Security and Privacy.","author":"Bose Priyanka","year":"2022","unstructured":"Priyanka Bose , Dipanjan Das , Yanju Chen , Yu Feng , Christopher Kruegel , and Giovanni Vigna . 2022 . Sailfish: Vetting smart contract state-inconsistency bugs in seconds . In Proc. IEEE Symposium on Security and Privacy. Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, and Giovanni Vigna. 2022. Sailfish: Vetting smart contract state-inconsistency bugs in seconds. In Proc. IEEE Symposium on Security and Privacy."},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. ACM PLDI.","author":"Brent Lexi","year":"2020","unstructured":"Lexi Brent , Neville Grech , Sifis Lagouvardos , Bernhard Scholz , and Yannis Smaragdakis . 2020 . Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities . In Proc. ACM PLDI. Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, and Yannis Smaragdakis. 2020. Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities. In Proc. ACM PLDI."},{"key":"e_1_3_2_1_14_1","volume-title":"Proc. IEEE\/ACM ASE.","author":"Chen Jiachi","year":"2020","unstructured":"Jiachi Chen . 2020 . Finding Ethereum Smart Contracts Security Issues By Comparing History Versions . In Proc. IEEE\/ACM ASE. Jiachi Chen. 2020. Finding Ethereum Smart Contracts Security Issues By Comparing History Versions. In Proc. IEEE\/ACM ASE."},{"key":"e_1_3_2_1_15_1","volume-title":"AGChain: A Blockchain-based Gateway for Permanent, Distributed, and Secure App Delegation from Existing Mobile App Markets. CoRR arXiv, abs\/2101.06454","author":"Chen Mengjie","year":"2021","unstructured":"Mengjie Chen , Daoyuan Wu , Xiao Yi , and Jianliang Xu. 2021. AGChain: A Blockchain-based Gateway for Permanent, Distributed, and Secure App Delegation from Existing Mobile App Markets. CoRR arXiv, abs\/2101.06454 ( 2021 ). Mengjie Chen, Daoyuan Wu, Xiao Yi, and Jianliang Xu. 2021. AGChain: A Blockchain-based Gateway for Permanent, Distributed, and Secure App Delegation from Existing Mobile App Markets. CoRR arXiv, abs\/2101.06454 (2021)."},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. ISOC NDSS.","author":"Chen Ting","year":"2017","unstructured":"Ting Chen , Rong Cao , Ting Li , Xiapu Luo , Guofei Gu , Yufei Zhang , Zhou Liao , Hang Zhu , Gang Chen , Zheyuan He , Yuxing Tang , Xiaodong Lin , and Xiaosong Zhang . 2017 . SODA: A Generic Online Detection Framework for Smart Contracts . In Proc. ISOC NDSS. Ting Chen, Rong Cao, Ting Li, Xiapu Luo, Guofei Gu, Yufei Zhang, Zhou Liao, Hang Zhu, Gang Chen, Zheyuan He, Yuxing Tang, Xiaodong Lin, and Xiaosong Zhang. 2017. SODA: A Generic Online Detection Framework for Smart Contracts. In Proc. ISOC NDSS."},{"key":"e_1_3_2_1_17_1","volume-title":"Proc. IEEE\/ACM ASE.","author":"Choi Jaeseung","year":"2021","unstructured":"Jaeseung Choi , Doyeon Kim , Soomin Kim , Gustavo Grieco , Alex Groce , and Sang Kil Cha . 2021 . Smartian: Enhancing Smart Contract Fuzzing With Static and Dynamic Data-Flow Analyses . In Proc. IEEE\/ACM ASE. Jaeseung Choi, Doyeon Kim, Soomin Kim, Gustavo Grieco, Alex Groce, and Sang Kil Cha. 2021. Smartian: Enhancing Smart Contract Fuzzing With Static and Dynamic Data-Flow Analyses. In Proc. IEEE\/ACM ASE."},{"key":"e_1_3_2_1_18_1","volume-title":"Proc. ACM CCS.","author":"Cui Siwei","year":"2022","unstructured":"Siwei Cui , Gang Zhao , Yifei Gao , Tien Tavu , and Jeff Huang . 2022 . VRust: Automated Vulnerability Detection for Solana Smart Contracts . In Proc. ACM CCS. Siwei Cui, Gang Zhao, Yifei Gao, Tien Tavu, and Jeff Huang. 2022. VRust: Automated Vulnerability Detection for Solana Smart Contracts. In Proc. ACM CCS."},{"key":"e_1_3_2_1_19_1","volume-title":"Proc. ACM CCS.","author":"Das Dipanjan","year":"2022","unstructured":"Dipanjan Das , Priyanka Bose , Nicola Ruaro , Christopher Kruegel , and Giovanni Vigna . 2022 . Understanding Security Issues in the NFT Ecosystem . In Proc. ACM CCS. Dipanjan Das, Priyanka Bose, Nicola Ruaro, Christopher Kruegel, and Giovanni Vigna. 2022. Understanding Security Issues in the NFT Ecosystem. In Proc. ACM CCS."},{"key":"e_1_3_2_1_20_1","volume-title":"Proc. ACM CCS.","author":"Duan Yue","year":"2022","unstructured":"Yue Duan , Xin Zhao , Yu Pan , Shucheng Li , Minghao Li , Fengyuan Xu , and Mu Zhang . 2022 . Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications . In Proc. ACM CCS. Yue Duan, Xin Zhao, Yu Pan, Shucheng Li, Minghao Li, Fengyuan Xu, and Mu Zhang. 2022. Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications. In Proc. ACM CCS."},{"key":"e_1_3_2_1_21_1","volume-title":"Proc. WETSEB.","author":"Feist Josselin","year":"2019","unstructured":"Josselin Feist , Gustavo Greico , and Alex Groce . 2019 . Slither: A Static Analysis Framework for Smart Contracts . In Proc. WETSEB. Josselin Feist, Gustavo Greico, and Alex Groce. 2019. Slither: A Static Analysis Framework for Smart Contracts. In Proc. WETSEB."},{"key":"e_1_3_2_1_22_1","volume-title":"Proc. USENIX Security.","author":"Frank Joel","year":"2020","unstructured":"Joel Frank , Cornelius Aschermann , and Thorsten Holz . 2020 . ETHBMC: A Bounded Model Checker for Smart Contracts . In Proc. USENIX Security. Joel Frank, Cornelius Aschermann, and Thorsten Holz. 2020. ETHBMC: A Bounded Model Checker for Smart Contracts. In Proc. USENIX Security."},{"key":"e_1_3_2_1_23_1","volume-title":"Frey and Delbert Dueck","author":"Brendan","year":"2007","unstructured":"Brendan J. Frey and Delbert Dueck . 2007 . Clustering by Passing Messages Between Data Points. Science . Brendan J. Frey and Delbert Dueck. 2007. Clustering by Passing Messages Between Data Points. Science."},{"key":"e_1_3_2_1_24_1","volume-title":"Proc. ACM ISSTA.","author":"Ghaleb Asem","year":"2022","unstructured":"Asem Ghaleb , Julia Rubin , and Karthik Pattabiraman . 2022 . eTainter: Detecting Gas-Related Vulnerabilities In Smart Contracts . In Proc. ACM ISSTA. Asem Ghaleb, Julia Rubin, and Karthik Pattabiraman. 2022. eTainter: Detecting Gas-Related Vulnerabilities In Smart Contracts. In Proc. ACM ISSTA."},{"key":"e_1_3_2_1_25_1","volume-title":"Proc. ACM ICSE.","author":"Ghaleb Asem","year":"2023","unstructured":"Asem Ghaleb , Julia Rubin , and Karthik Pattabiraman . 2023 . AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities . In Proc. ACM ICSE. Asem Ghaleb, Julia Rubin, and Karthik Pattabiraman. 2023. AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities. In Proc. ACM ICSE."},{"key":"e_1_3_2_1_26_1","volume-title":"Madmax: Surviving Out-of-gas Conditions in Ethereum Smart Contracts. In Proc. ACM OOPSLA.","author":"Grech Neville","unstructured":"Neville Grech , Michael Kong , Anton Jurisevic , Lexi Brent , Bernhard Scholz , and Yannis Smaragdakis . [n. d.]. Madmax: Surviving Out-of-gas Conditions in Ethereum Smart Contracts. In Proc. ACM OOPSLA. Neville Grech, Michael Kong, Anton Jurisevic, Lexi Brent, Bernhard Scholz, and Yannis Smaragdakis. [n. d.]. Madmax: Surviving Out-of-gas Conditions in Ethereum Smart Contracts. In Proc. ACM OOPSLA."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Alex Groce Josselin Feist Gustavo Grieco and Michael Colburn. 2020. What Are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)? In Springer FC. \t\t\t\t  Alex Groce Josselin Feist Gustavo Grieco and Michael Colburn. 2020. What Are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)? In Springer FC.","DOI":"10.1007\/978-3-030-51280-4_34"},{"key":"e_1_3_2_1_28_1","volume-title":"Proc. ACM CCS.","author":"He Jingxuan","year":"2019","unstructured":"Jingxuan He , Mislav Balunovi\u0107 , Nodar Ambroladze , Petar Tsankov , and Martin Vechev . 2019 . Learning to Fuzz from Symbolic Execution with Application to Smart Contracts . In Proc. ACM CCS. Jingxuan He, Mislav Balunovi\u0107, Nodar Ambroladze, Petar Tsankov, and Martin Vechev. 2019. Learning to Fuzz from Symbolic Execution with Application to Smart Contracts. In Proc. ACM CCS."},{"key":"e_1_3_2_1_29_1","article-title":"Hunting Vulnerable Smart Contracts via Graph Embedding Based Bytecode Matching","author":"Huang Jianjun","year":"2021","unstructured":"Jianjun Huang , Songming Han , Wei You , Wenchang Shi , Bin Liang , Jingzheng Wu , and Yanjun Wu . 2021 . Hunting Vulnerable Smart Contracts via Graph Embedding Based Bytecode Matching . IEEE Transactions on Information Forensics and Security. Jianjun Huang, Songming Han, Wei You, Wenchang Shi, Bin Liang, Jingzheng Wu, and Yanjun Wu. 2021. Hunting Vulnerable Smart Contracts via Graph Embedding Based Bytecode Matching. IEEE Transactions on Information Forensics and Security.","journal-title":"IEEE Transactions on Information Forensics and Security."},{"key":"e_1_3_2_1_30_1","volume-title":"Proc. IEEE\/ACM ASE.","author":"Jiang Bo","unstructured":"Bo Jiang , Ye Liu , and W. K. Chan . 2018. ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection . In Proc. IEEE\/ACM ASE. Bo Jiang, Ye Liu, and W. K. Chan. 2018. ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection. In Proc. IEEE\/ACM ASE."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23082"},{"key":"e_1_3_2_1_32_1","volume-title":"Proc. USENIX Security.","author":"Krupp Johannes","year":"2018","unstructured":"Johannes Krupp and Christian Rossow . 2018 . teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts . In Proc. USENIX Security. Johannes Krupp and Christian Rossow. 2018. teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts. In Proc. USENIX Security."},{"key":"e_1_3_2_1_33_1","volume-title":"Proc. ACM PLDI.","author":"Li Ao","year":"2020","unstructured":"Ao Li , Jemin Andrew Choi , and Fan Long . 2020 . Securing Smart Contract with Runtime Validation . In Proc. ACM PLDI. Ao Li, Jemin Andrew Choi, and Fan Long. 2020. Securing Smart Contract with Runtime Validation. In Proc. ACM PLDI."},{"key":"e_1_3_2_1_34_1","volume-title":"Proc. ACM ICSE.","author":"Liu Chao","year":"2018","unstructured":"Chao Liu , Han Liu , Zhao Cao , Zhong Chen , Bangdao Chen , and Bill Roscoe . 2018 . Reguard: Finding Reentrancy Bugs in Smart Contracts . In Proc. ACM ICSE. Chao Liu, Han Liu, Zhao Cao, Zhong Chen, Bangdao Chen, and Bill Roscoe. 2018. Reguard: Finding Reentrancy Bugs in Smart Contracts. In Proc. ACM ICSE."},{"key":"e_1_3_2_1_35_1","volume-title":"Proc. IEEE\/ACM ASE.","author":"Liu Han","year":"2018","unstructured":"Han Liu , Chao Liu , Wenqi Zhao , Yu Jiang , and Jiaguang Sun . 2018 . S-gram: Towards Semantic-Aware Security Auditing for Ethereum Smart Contracts . In Proc. IEEE\/ACM ASE. Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, and Jiaguang Sun. 2018. S-gram: Towards Semantic-Aware Security Auditing for Ethereum Smart Contracts. In Proc. IEEE\/ACM ASE."},{"key":"e_1_3_2_1_36_1","volume-title":"Proc. IEEE\/ACM ASE.","author":"Liu Lu","year":"2021","unstructured":"Lu Liu , Lili Wei , Wuqi Zhang , Ming Wen , Yepang Liu , and Shing-Chi Cheung . 2021 . Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts . In Proc. IEEE\/ACM ASE. Lu Liu, Lili Wei, Wuqi Zhang, Ming Wen, Yepang Liu, and Shing-Chi Cheung. 2021. Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts. In Proc. IEEE\/ACM ASE."},{"key":"e_1_3_2_1_37_1","volume-title":"Proc. ACM ISSTA.","author":"Liu Ye","year":"2022","unstructured":"Ye Liu , Yi Li , Shang-Wei Lin , and Cyrille Artho . 2022 . Finding Permission Bugs in Smart Contracts with Role Mining . In Proc. ACM ISSTA. Ye Liu, Yi Li, Shang-Wei Lin, and Cyrille Artho. 2022. Finding Permission Bugs in Smart Contracts with Role Mining. In Proc. ACM ISSTA."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2021\/379"},{"key":"e_1_3_2_1_39_1","volume-title":"ESCORT: Ethereum Smart Contracts Vulnerability Detection Using Deep Neural Network and Transfer Learning. CoRR arXiv, abs\/2103.12607","author":"Lutz Oliver","year":"2021","unstructured":"Oliver Lutz , Huili Chen , Hossein Fereidooni , Christoph Sendner , Alexandra Dmitrienko , Ahmad-Reza Sadeghi , and Farinaz Koushanfar . 2021 . ESCORT: Ethereum Smart Contracts Vulnerability Detection Using Deep Neural Network and Transfer Learning. CoRR arXiv, abs\/2103.12607 (2021). Oliver Lutz, Huili Chen, Hossein Fereidooni, Christoph Sendner, Alexandra Dmitrienko, Ahmad-Reza Sadeghi, and Farinaz Koushanfar. 2021. ESCORT: Ethereum Smart Contracts Vulnerability Detection Using Deep Neural Network and Transfer Learning. CoRR arXiv, abs\/2103.12607 (2021)."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_1_41_1","volume-title":"Proc. ACM MSR.","author":"Nguyen Hoang H","year":"2023","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 . In Proc. ACM MSR. 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. In Proc. ACM MSR."},{"key":"e_1_3_2_1_42_1","volume-title":"Proc. IEEE Symposium on Security and Privacy.","author":"Nguyen Tai D","year":"2021","unstructured":"Tai D Nguyen , Long H Pham , and Jun Sun . 2021 . SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically . In Proc. IEEE Symposium on Security and Privacy. Tai D Nguyen, Long H Pham, and Jun Sun. 2021. SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically. In Proc. IEEE Symposium on Security and Privacy."},{"key":"e_1_3_2_1_43_1","volume-title":"Proc. ACM ICSE.","author":"Nguyen Tai D","year":"2020","unstructured":"Tai D Nguyen , Long H Pham , Jun Sun , Yun Lin , and Quang Tran Minh . 2020 . sfuzz: An efficient adaptive fuzzer for solidity smart contracts . In Proc. ACM ICSE. Tai D Nguyen, Long H Pham, Jun Sun, Yun Lin, and Quang Tran Minh. 2020. sfuzz: An efficient adaptive fuzzer for solidity smart contracts. In Proc. ACM ICSE."},{"key":"e_1_3_2_1_44_1","volume-title":"Proc. ACM ACSAC.","author":"Nikoli\u0107 Ivica","year":"2018","unstructured":"Ivica Nikoli\u0107 , Aashish Kolluri , Ilya Sergey , Prateek Saxena , and Aquinas Hobor . 2018 . Finding the Greedy, prodigal, and Suicidal Contracts at Scale . In Proc. ACM ACSAC. Ivica Nikoli\u0107, Aashish Kolluri, Ilya Sergey, Prateek Saxena, and Aquinas Hobor. 2018. Finding the Greedy, prodigal, and Suicidal Contracts at Scale. In Proc. ACM ACSAC."},{"key":"e_1_3_2_1_45_1","volume-title":"Proc. USENIX Security.","author":"Perez Daniel","year":"2021","unstructured":"Daniel Perez and Benjamin Livshits . 2021 . Smart contract vulnerabilities: Vulnerable does not imply exploited . In Proc. USENIX Security. Daniel Perez and Benjamin Livshits. 2021. Smart contract vulnerabilities: Vulnerable does not imply exploited. In Proc. USENIX Security."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23413"},{"key":"e_1_3_2_1_47_1","volume-title":"Proc. ACM POPL.","author":"Rosen Barry K","year":"1988","unstructured":"Barry K Rosen , Mark N Wegman , and F Kenneth Zadeck . 1988 . Global value numbers and redundant computations . In Proc. ACM POPL. Barry K Rosen, Mark N Wegman, and F Kenneth Zadeck. 1988. Global value numbers and redundant computations. In Proc. ACM POPL."},{"key":"e_1_3_2_1_48_1","volume-title":"Proc. ACM CCS.","author":"Schneidewind Clara","year":"2020","unstructured":"Clara Schneidewind , Ilya Grishchenko , Markus Scherer , and Matteo Maffei . 2020 . ethor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts . In Proc. ACM CCS. Clara Schneidewind, Ilya Grishchenko, Markus Scherer, and Matteo Maffei. 2020. ethor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. In Proc. ACM CCS."},{"key":"e_1_3_2_1_49_1","volume-title":"Proc. USENIX Security.","author":"So Sunbeom","year":"2021","unstructured":"Sunbeom So , Seongjoon Hong , and Hakjoo Oh . 2021 . SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution .. In Proc. USENIX Security. Sunbeom So, Seongjoon Hong, and Hakjoo Oh. 2021. SmarTest: Effectively Hunting Vulnerable Transaction Sequences in Smart Contracts through Language Model-Guided Symbolic Execution.. In Proc. USENIX Security."},{"key":"e_1_3_2_1_50_1","volume-title":"Proc. ACM POPL.","author":"Tan Bryan","year":"2022","unstructured":"Bryan Tan , Benjamin Mariano , Shuvendu K Lahiri , Isil Dillig , and Yu Feng . 2022 . SolType: Refinement Types for Arithmetic Overflow in Solidity . In Proc. ACM POPL. Bryan Tan, Benjamin Mariano, Shuvendu K Lahiri, Isil Dillig, and Yu Feng. 2022. SolType: Refinement Types for Arithmetic Overflow in Solidity. In Proc. ACM POPL."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP51992.2021.00018"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"e_1_3_2_1_53_1","volume-title":"Proc. ACM OOPSLA.","author":"Wang Shuai","year":"2019","unstructured":"Shuai Wang , Chengyu Zhang , and Zhendong Su . 2019 . Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts . In Proc. ACM OOPSLA. Shuai Wang, Chengyu Zhang, and Zhendong Su. 2019. Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts. In Proc. ACM OOPSLA."},{"key":"e_1_3_2_1_54_1","volume-title":"SoK: Decentralized Finance (DeFi). CoRR arXiv, abs\/2101.08778","author":"Werner Sam M","year":"2021","unstructured":"Sam M Werner , Daniel Perez , Lewis Gudgeon , Ariah Klages-Mundt , Dominik Harz , and William J Knottenbelt . 2021. SoK: Decentralized Finance (DeFi). CoRR arXiv, abs\/2101.08778 ( 2021 ). Sam M Werner, Daniel Perez, Lewis Gudgeon, Ariah Klages-Mundt, Dominik Harz, and William J Knottenbelt. 2021. SoK: Decentralized Finance (DeFi). CoRR arXiv, abs\/2101.08778 (2021)."},{"key":"e_1_3_2_1_55_1","volume-title":"Ethereum: A Secure Decentralised Generalised Transaction Ledger. Yellow paper.","author":"Wood Gavin","year":"2023","unstructured":"Gavin Wood . 2023 . Ethereum: A Secure Decentralised Generalised Transaction Ledger. Yellow paper. Gavin Wood. 2023. Ethereum: A Secure Decentralised Generalised Transaction Ledger. Yellow paper."},{"key":"e_1_3_2_1_56_1","volume-title":"Proc. ISOC NDSS.","author":"Wu Daoyuan","year":"2019","unstructured":"Daoyuan Wu , Debin Gao , Rocky KC Chang , En He , Eric KT Cheng , and Robert H Deng . 2019 . Understanding open ports in Android applications: Discovery, diagnosis, and security assessment . In Proc. ISOC NDSS. Daoyuan Wu, Debin Gao, Rocky KC Chang, En He, Eric KT Cheng, and Robert H Deng. 2019. Understanding open ports in Android applications: Discovery, diagnosis, and security assessment. In Proc. ISOC NDSS."},{"key":"e_1_3_2_1_57_1","volume-title":"Proc. IEEE DSN.","author":"Wu Daoyuan","year":"2021","unstructured":"Daoyuan Wu , Debin Gao , Robert H Deng , and Chang Rocky KC. 2021 . When Program Analysis Meets Bytecode Search: Targeted and Efficient Inter-Procedural Analysis of Modern Android Apps in Backdroid . In Proc. IEEE DSN. Daoyuan Wu, Debin Gao, Robert H Deng, and Chang Rocky KC. 2021. When Program Analysis Meets Bytecode Search: Targeted and Efficient Inter-Procedural Analysis of Modern Android Apps in Backdroid. In Proc. IEEE DSN."},{"key":"e_1_3_2_1_58_1","volume-title":"Proc. IEEE\/ACM ASE.","author":"Xue Yinxing","year":"2021","unstructured":"Yinxing Xue , Mingliang Ma , Yun Lin , Yulei Sui , Jiaming Ye , and Tianyong Peng . 2021 . Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts . In Proc. IEEE\/ACM ASE. Yinxing Xue, Mingliang Ma, Yun Lin, Yulei Sui, Jiaming Ye, and Tianyong Peng. 2021. Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts. In Proc. IEEE\/ACM ASE."},{"key":"e_1_3_2_1_59_1","volume-title":"Proc. IEEE Symposium on Security and Privacy.","author":"Yamaguchi Fabian","year":"2014","unstructured":"Fabian Yamaguchi , Nico Golde , Daniel Arp , and Konrad Rieck . 2014 . Modeling and Discovering Vulnerabilities with Code Property Graphs . In Proc. IEEE Symposium on Security and Privacy. Fabian Yamaguchi, Nico Golde, Daniel Arp, and Konrad Rieck. 2014. Modeling and Discovering Vulnerabilities with Code Property Graphs. In Proc. IEEE Symposium on Security and Privacy."},{"key":"e_1_3_2_1_60_1","volume-title":"TXSPECTOR: Uncovering Attacks in Ethereum from Transactions. In USENIX Security.","author":"Zhang Mengya","year":"2020","unstructured":"Mengya Zhang , Xiaokuan Zhang , Yinqian Zhang , and Zhiqiang Lin . 2020 . TXSPECTOR: Uncovering Attacks in Ethereum from Transactions. In USENIX Security. Mengya Zhang, Xiaokuan Zhang, Yinqian Zhang, and Zhiqiang Lin. 2020. TXSPECTOR: Uncovering Attacks in Ethereum from Transactions. In USENIX Security."},{"key":"e_1_3_2_1_61_1","volume-title":"Proc. IEEE\/ACM ASE.","author":"Zhang Zhuo","year":"2022","unstructured":"Zhuo Zhang , Yan Lei , Meng Yan , Yue Yu , Jiachi Chen , Shangwen Wang , and Xiaoguang Mao . 2022 . Reentrancy Vulnerability Detection and Localization: A Deep Learning Based Two-phase Approach . In Proc. IEEE\/ACM ASE. Zhuo Zhang, Yan Lei, Meng Yan, Yue Yu, Jiachi Chen, Shangwen Wang, and Xiaoguang Mao. 2022. Reentrancy Vulnerability Detection and Localization: A Deep Learning Based Two-phase Approach. In Proc. IEEE\/ACM ASE."}],"event":{"name":"ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Seattle WA USA","acronym":"ISSTA '23","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598125","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3598125","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:43Z","timestamp":1750182523000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598125"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":61,"alternative-id":["10.1145\/3597926.3598125","10.1145\/3597926"],"URL":"https:\/\/doi.org\/10.1145\/3597926.3598125","relation":{},"subject":[],"published":{"date-parts":[[2023,7,12]]},"assertion":[{"value":"2023-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}