{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T05:14:56Z","timestamp":1781673296511,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":82,"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:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"National Cybersecurity R&D Programme","award":["NCRP25-P04-TAICeN"],"award-info":[{"award-number":["NCRP25-P04-TAICeN"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,11]]},"DOI":"10.1145\/3650212.3652137","type":"proceedings-article","created":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:44:25Z","timestamp":1726055065000},"page":"402-414","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-4496-5037","authenticated-orcid":false,"given":"Maoyi","family":"Xie","sequence":"first","affiliation":[{"name":"Nanyang Technological University, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5058-4660","authenticated-orcid":false,"given":"Ming","family":"Hu","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-4926-4932","authenticated-orcid":false,"given":"Ziqiao","family":"Kong","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5603-1322","authenticated-orcid":false,"given":"Cen","family":"Zhang","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7235-2377","authenticated-orcid":false,"given":"Yebo","family":"Feng","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-3509-3919","authenticated-orcid":false,"given":"Haijun","family":"Wang","sequence":"additional","affiliation":[{"name":"Xi'an Jiaotong University, Xi'an, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-2141-2044","authenticated-orcid":false,"given":"Yue","family":"Xue","sequence":"additional","affiliation":[{"name":"MetaTrust Labs, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-5443-6542","authenticated-orcid":false,"given":"Hao","family":"Zhang","sequence":"additional","affiliation":[{"name":"MetaTrust Labs, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6709-3721","authenticated-orcid":false,"given":"Ye","family":"Liu","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7300-9215","authenticated-orcid":false,"given":"Yang","family":"Liu","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,9,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2006.18"},{"key":"e_1_3_2_1_2_1","unstructured":"Alchemy. 2023. Alchemy. https:\/\/www.alchemy.com\/ Accessed on 2023-11-27"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3634737.3637681"},{"key":"e_1_3_2_1_4_1","unstructured":"base. 2023. base. https:\/\/base.org\/ Accessed on 2023-11-27"},{"key":"e_1_3_2_1_5_1","unstructured":"Beosin. 2023. Beosin. https:\/\/beosin.com\/?lang=en-US Accessed on 2023-12-15"},{"key":"e_1_3_2_1_6_1","unstructured":"beosin. 2023. Blockchain Security Recap of October: $51.61M Lost in Attacks. https:\/\/medium.com\/@Beosin_com\/blockchain-security-recap-of-october-51-61m-lost-in-attacks-19babb116cac Accessed on 2023-11-09"},{"key":"e_1_3_2_1_7_1","unstructured":"BeosinAlert. 2023. FFist attack analysis. https:\/\/twitter.com\/BeosinAlert\/status\/1681848899802214401?s=20 Accessed on 2023-11-10"},{"key":"e_1_3_2_1_8_1","unstructured":"blocksec. 2023. bgld analysis. https:\/\/twitter.com\/BlockSecTeam\/status\/1602335214356660225 Accessed on 2023-12-15"},{"key":"e_1_3_2_1_9_1","unstructured":"BlockSec. 2023. BlockSec. https:\/\/blocksec.com\/ Accessed on 2023-12-15"},{"key":"e_1_3_2_1_10_1","unstructured":"bnbchain. 2023. bnbchain. https:\/\/www.bnbchain.org\/en\/bnb-smart-chain Accessed on 2023-11-27"},{"key":"e_1_3_2_1_11_1","unstructured":"certik. 2023. atk analysis. https:\/\/www.certik.com\/resources\/blog\/1YsQo8TnxCvwalqvtkFLtC-journey-of-awakening-incident-analysis Accessed on 2023-12-15"},{"key":"e_1_3_2_1_12_1","unstructured":"Certik. 2023. Certik. https:\/\/www.certik.com\/ Accessed on 2023-12-15"},{"key":"e_1_3_2_1_13_1","unstructured":"BNB Smart Chain. 2023. BscScan. https:\/\/bscscan.com\/ Accessed on 2023-11-27"},{"key":"e_1_3_2_1_14_1","unstructured":"Chainlink. 2023. How to Fetch the Current Price of Ethereum Bitcoin and Other Cryptocurrencies in Solidity. https:\/\/blog.chain.link\/fetch-current-crypto-price-data-solidity\/ Accessed on 2023-11-27"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3054928"},{"key":"e_1_3_2_1_16_1","volume-title":"Sidi Mohamed Beillahi, and Fan Long","author":"Chen Zhiyang","year":"2022","unstructured":"Zhiyang Chen, Sidi Mohamed Beillahi, and Fan Long. 2022. FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation. arXiv preprint arXiv:2206.10708."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678888"},{"key":"e_1_3_2_1_18_1","unstructured":"coingecko. 2023. coingecko. https:\/\/www.coingecko.com\/ Accessed on 2023-12-15"},{"key":"e_1_3_2_1_19_1","unstructured":"coinmarketcap. 2023. coinmarketcap. https:\/\/coinmarketcap.com\/ Accessed on 2023-12-15"},{"key":"e_1_3_2_1_20_1","unstructured":"coinpaper. 2023. October Web3 Exploits Lead to Over $32 Million Losses. https:\/\/coinpaper.com\/2531\/october-web3-exploits-lead-to-over-32-million-losses Accessed on 2023-11-09"},{"key":"e_1_3_2_1_21_1","unstructured":"cointelegraph. 2023. market manipulation. https:\/\/cointelegraph.com\/explained\/what-is-market-manipulation-in-cryptocurrency Accessed on 2023-12-06"},{"key":"e_1_3_2_1_22_1","unstructured":"Consensys. [n. d.]. Mythril. https:\/\/github.com\/Consensys\/mythril Accessed on 2023-12-05"},{"key":"e_1_3_2_1_23_1","unstructured":"Covalent. 2023. Understanding Different Types of Blockchain Transactions with Covalent. https:\/\/www.covalenthq.com\/docs\/unified-api\/guides\/understanding-blockchain-transactions-with-covalent\/ Accessed on 2023-12-05"},{"key":"e_1_3_2_1_24_1","unstructured":"curve. 2023. Understanding Curve. https:\/\/resources.curve.fi\/base-features\/understanding-curve\/ Accessed on 2023-12-15"},{"key":"e_1_3_2_1_25_1","unstructured":"DefiLlama. 2023. DeFi Dashboard. https:\/\/defillama.com\/ Accessed on 2023-06-20"},{"key":"e_1_3_2_1_26_1","unstructured":"defiprime. 2023. Uniswap Alternatives. https:\/\/defiprime.com\/uniswap-alternatives Accessed on 2023-11-27"},{"key":"e_1_3_2_1_27_1","volume-title":"Beng Chin Ooi, and Ji Wang","author":"Anh Dinh Tien Tuan","year":"2018","unstructured":"Tien Tuan Anh Dinh, Rui Liu, Meihui Zhang, Gang Chen, Beng Chin Ooi, and Ji Wang. 2018. Untangling blockchain: A data processing view of blockchain systems. IEEE transactions on knowledge and data engineering, 30, 7 (2018), 1366\u20131385."},{"key":"e_1_3_2_1_28_1","unstructured":"ethereum. 2023. ethereum. https:\/\/ethereum.org\/en\/ Accessed on 2023-11-27"},{"key":"e_1_3_2_1_29_1","unstructured":"Ethereum. 2023. Etherscan. https:\/\/etherscan.io\/ Accessed on 2023-11-27"},{"key":"e_1_3_2_1_30_1","unstructured":"Fantom. [n. d.]. FTMScan. https:\/\/ftmscan.com\/ Accessed on 2023-11-27"},{"key":"e_1_3_2_1_31_1","unstructured":"fantom. 2023. fantom. https:\/\/fantom.foundation\/ Accessed on 2023-11-27"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363230"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31500-9_19"},{"key":"e_1_3_2_1_35_1","unstructured":"immunebytes. 2023. List of Crypto Hacks in the Month of October. https:\/\/www.immunebytes.com\/blog\/list-of-crypto-hacks-in-october\/#Oct_11 Accessed on 2023-11-09"},{"key":"e_1_3_2_1_36_1","unstructured":"Infura. 2023. Infura. https:\/\/www.infura.io\/ Accessed on 2023-11-27"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"Sukrit Kalra Seep Goel Mohan Dhawan and Subodh Sharma. 2018. Zeus: analyzing safety of smart contracts.. In Ndss. 1\u201312.","DOI":"10.14722\/ndss.2018.23082"},{"key":"e_1_3_2_1_40_1","volume-title":"Machel Reid, Yutaka Matsuo, and Yusuke Iwasawa.","author":"Kojima Takeshi","year":"2022","unstructured":"Takeshi Kojima, Shixiang Shane Gu, Machel Reid, Yutaka Matsuo, and Yusuke Iwasawa. 2022. Large language models are zero-shot reasoners. Advances in neural information processing systems, 35 (2022), 22199\u201322213."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598124"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330574"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00067"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00136"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183495"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_1_47_1","unstructured":"medium. [n. d.]. More Than $22M Stolen from Web3 Platforms in October. https:\/\/medium.com\/@zokyo.io\/more-than-22m-stolen-from-web3-platforms-in-october-f33271e7fb91 Accessed on 2023-11-09"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510147"},{"key":"e_1_3_2_1_49_1","unstructured":"MetaTrust. 2023. MetaTrust. https:\/\/metatrust.io\/ Accessed on 2023-12-15"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598133"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00133"},{"key":"e_1_3_2_1_52_1","unstructured":"Neptune Mutual. 2023. How Was the Uwerx Network Exploited? https:\/\/neptunemutual.com\/blog\/how-was-the-uwerx-network-exploited\/ Accessed on 2023-11-10"},{"key":"e_1_3_2_1_53_1","unstructured":"openai. 2023. chatgpt. https:\/\/chat.openai.com\/ Accessed on 2023-12-06"},{"key":"e_1_3_2_1_54_1","unstructured":"PeckShield. 2023. PeckShield. https:\/\/peckshield.com\/ Accessed on 2023-12-15"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00024"},{"key":"e_1_3_2_1_56_1","unstructured":"polygon. 2023. polygon. https:\/\/polygon.technology\/ Accessed on 2023-11-27"},{"key":"e_1_3_2_1_57_1","unstructured":"Polygon. 2023. polygonscan. https:\/\/polygonscan.com\/ Accessed on 2023-11-27"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-64322-8_1"},{"key":"e_1_3_2_1_59_1","unstructured":"quicknode. 2023. quicknode. https:\/\/www.quicknode.com\/ Accessed on 2023-12-04"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460319.3464837"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"crossref","unstructured":"Fabian Sch\u00e4r. 2021. Decentralized finance: On blockchain-and smart contract-based financial markets. FRB of St. Louis Review.","DOI":"10.2139\/ssrn.3571335"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598059"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00032"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092717"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS53918.2021.00013"},{"key":"e_1_3_2_1_66_1","unstructured":"Yuqiang Sun Daoyuan Wu Yue Xue Han Liu Haijun Wang Zhengzi Xu Xiaofei Xie and Yang Liu. 2023. When GPT Meets Program Analysis: Towards Intelligent Detection of Smart Contract Logic Vulnerabilities in GPTScan. arXiv preprint arXiv:2308.03314."},{"key":"e_1_3_2_1_67_1","unstructured":"SunWeb3Sec. 2023. DeFiHackLabs. https:\/\/github.com\/SunWeb3Sec\/DeFiHackLabs Accessed on 2023-11-27"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP51992.2021.00018"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"e_1_3_2_1_70_1","unstructured":"uniswap. 2023. Uniswap V2. https:\/\/docs.uniswap.org\/contracts\/v2\/concepts\/protocol-overview\/smart-contracts Accessed on 2023-12-15"},{"key":"e_1_3_2_1_71_1","unstructured":"uniswap. 2023. Uniswap V3. https:\/\/docs.uniswap.org\/contracts\/v3\/reference\/overview Accessed on 2023-12-15"},{"key":"e_1_3_2_1_72_1","unstructured":"UniswapV2. 2023. Uniswap v2 Core. https:\/\/docs.uniswap.org\/whitepaper.pdf Accessed on 2023-11-10"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"crossref","unstructured":"Dabao Wang Siwei Wu Ziling Lin Lei Wu Xingliang Yuan Yajin Zhou Haoyu Wang and Kui Ren. 2020. Towards understanding flash loan and its applications in defi ecosystem. arXiv preprint arXiv:2010.12252.","DOI":"10.1145\/3457977.3460301"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSPW54576.2021.00047"},{"key":"e_1_3_2_1_75_1","unstructured":"web3sec. 2023. DeFi Hacks Analysis. https:\/\/web3sec.notion.site\/web3sec\/c582b99cd7a84be48d972ca2126a2a1f?v=4671590619bd4b2ab16a15256e4fbba1 Accessed on 2023-12-05"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/3558535.3559780"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2013.2285319"},{"key":"e_1_3_2_1_78_1","volume-title":"Defiranger: Detecting price manipulation attacks on defi applications. arXiv preprint arXiv:2104.15068.","author":"Wu Siwei","year":"2021","unstructured":"Siwei Wu, Dabao Wang, Jianting He, Yajin Zhou, Lei Wu, Xingliang Yuan, Qinming He, and Kui Ren. 2021. Defiranger: Detecting price manipulation attacks on defi applications. arXiv preprint arXiv:2104.15068."},{"key":"e_1_3_2_1_79_1","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Xu Jiahua","year":"2019","unstructured":"Jiahua Xu and Benjamin Livshits. 2019. The anatomy of a cryptocurrency $Pump-and-Dump$ scheme. In 28th USENIX Security Symposium (USENIX Security 19). 1609\u20131625."},{"key":"e_1_3_2_1_80_1","unstructured":"Xiao Yi Yuzhou Fang Daoyuan Wu and Lingxiao Jiang. 2022. BlockScope: Detecting and Investigating Propagated Vulnerabilities in Forked Blockchain Projects. arXiv preprint arXiv:2208.00205."},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2911283"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2942301"}],"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.3652137","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3650212.3652137","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:06Z","timestamp":1750287006000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650212.3652137"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,11]]},"references-count":82,"alternative-id":["10.1145\/3650212.3652137","10.1145\/3650212"],"URL":"https:\/\/doi.org\/10.1145\/3650212.3652137","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"}}]}}