{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,23]],"date-time":"2026-10-23T21:48:15Z","timestamp":1792792095807,"version":"4.5.0"},"publisher-location":"New York, NY, USA","reference-count":83,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T00:00:00Z","timestamp":1712880000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,12]]},"DOI":"10.1145\/3597503.3639190","type":"proceedings-article","created":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T12:43:26Z","timestamp":1712925806000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":34,"title":["FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2315-397X","authenticated-orcid":false,"given":"Zhiyang","family":"Chen","sequence":"first","affiliation":[{"name":"University of Toronto, Toronto, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6526-9295","authenticated-orcid":false,"given":"Sidi Mohamed","family":"Beillahi","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7973-1188","authenticated-orcid":false,"given":"Fan","family":"Long","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,4,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Phalcon: Powerful Transaction Explorer Designed for DeFi community. https:\/\/phalcon.xyz\/ Accessed: 2023-03-27.","year":"2023","unstructured":"BlockSec. 2023. Phalcon: Powerful Transaction Explorer Designed for DeFi community. https:\/\/phalcon.xyz\/ Accessed: 2023-03-27."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385990"},{"key":"e_1_3_2_1_3_1","unstructured":"BscScan. 2021. ApeRocket Attack Transaction. https:\/\/bscscan.com\/tx\/0x701a308fba23f9b328d2cdb6c7b245f6c3063a510e0d5bc21d2477c9084f93e0."},{"key":"e_1_3_2_1_4_1","unstructured":"BscScan. 2021. AutoShark Attack Transaction. https:\/\/bscscan.com\/tx\/0xfbe65ad3eed6b28d59bf6043debf1166d3420d214020ef54f12d2e0583a66f13."},{"key":"e_1_3_2_1_5_1","unstructured":"BscScan. 2021. bEarnFi Attack Transaction. https:\/\/bscscan.com\/tx\/0x603b2bbe2a7d0877b22531735ff686a7caad866f6c0435c37b7b49e4bfd9a36c."},{"key":"e_1_3_2_1_6_1","unstructured":"BscScan. 2021. ElevenFi Attack Transaction. https:\/\/bscscan.com\/tx\/0x16c87d9c4eb3bc6c4e5fbba789f72e8bbfc81b3403089294a81f31b91088fc2f."},{"key":"e_1_3_2_1_7_1","unstructured":"BscScan. 2022. Novo Attack Transaction. https:\/\/bscscan.com\/tx\/0xc346adf14e5082e6df5aeae650f3d7f606d7e08247c2b856510766b4dfcdc57f."},{"key":"e_1_3_2_1_8_1","unstructured":"BscScan. 2022. WDoge Attack Transaction. https:\/\/bscscan.com\/tx\/0x4f2005e3815c15d1a9abd8588dd1464769a00414a6b7adcbfd75a5331d378e1d."},{"key":"e_1_3_2_1_9_1","unstructured":"BscScan. 2023. The BNB Smart Chain Explorer. https:\/\/bscscan.com\/"},{"key":"e_1_3_2_1_10_1","volume-title":"ECML PKDD Workshop: Languages for Data Mining and Machine Learning. 108--122","author":"Buitinck Lars","year":"2013","unstructured":"Lars Buitinck, Gilles Louppe, Mathieu Blondel, Fabian Pedregosa, Andreas Mueller, Olivier Grisel, Vlad Niculae, Peter Prettenhofer, Alexandre Gramfort, Jaques Grobler, Robert Layton, Jake VanderPlas, Arnaud Joly, Brian Holt, and Ga\u00ebl Varoquaux. 2013. API design for machine learning software: experiences from the scikit-learn project. In ECML PKDD Workshop: Languages for Data Mining and Machine Learning. 108--122."},{"key":"e_1_3_2_1_11_1","volume-title":"Ethereum: A next-generation smart contract and decentralized application platform. https:\/\/ethereum.org\/en\/whitepaper\/.","author":"Buterin Vitalik","year":"2014","unstructured":"Vitalik Buterin. 2014. Ethereum: A next-generation smart contract and decentralized application platform. https:\/\/ethereum.org\/en\/whitepaper\/."},{"key":"e_1_3_2_1_12_1","volume-title":"Flashot: a snapshot of flash loan attack on DeFi ecosystem. arXiv preprint arXiv:2102.00626","author":"Cao Yixin","year":"2021","unstructured":"Yixin Cao, Chuanwei Zou, and Xianfeng Cheng. 2021. Flashot: a snapshot of flash loan attack on DeFi ecosystem. arXiv preprint arXiv:2102.00626 (2021)."},{"key":"e_1_3_2_1_13_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 (2022). https:\/\/arxiv.org\/pdf\/2206.10708.pdf"},{"key":"e_1_3_2_1_14_1","volume-title":"Sidi Mohamed Beillahi, and Fan Long","author":"Chen Zhiyang","year":"2024","unstructured":"Zhiyang Chen, Sidi Mohamed Beillahi, and Fan Long. 2024. GitHub Artifact for FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation. https:\/\/github.com\/FlashSyn-Artifact\/FlashSyn-Artifact-ICSE24"},{"key":"e_1_3_2_1_15_1","volume-title":"Sidi Mohamed Beillahi, and Fan Long","author":"Chen Zhiyang","year":"2024","unstructured":"Zhiyang Chen, Sidi Mohamed Beillahi, and Fan Long. 2024. Zenodo Artifact for FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation. https:\/\/zenodo.org\/records\/10458602"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678888"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_15"},{"key":"e_1_3_2_1_18_1","unstructured":"ConsenSys. 2022. Mythril. https:\/\/github.com\/ConsenSys\/mythril. Accessed: 2022-06-06."},{"key":"e_1_3_2_1_19_1","unstructured":"Damn Vulnerable DeFi. 2023. https:\/\/www.damnvulnerabledefi.xyz\/. Accessed: 2023-01-31."},{"key":"e_1_3_2_1_20_1","unstructured":"Damn Vulnerable DeFi. 2023. Challenge #8 - Puppet. https:\/\/www.damnvulnerabledefi.xyz\/challenges\/8.html. Accessed: 2023-01-31."},{"key":"e_1_3_2_1_21_1","unstructured":"Damn Vulnerable DeFi. 2023. Challenge #9 - Puppet v2. https:\/\/www.damnvulnerabledefi.xyz\/challenges\/9.html. Accessed: 2023-01-31."},{"key":"e_1_3_2_1_22_1","unstructured":"DefiLlama. 2023. DefiLlama. https:\/\/defillama.com\/. Accessed: 2023-04-01."},{"key":"e_1_3_2_1_23_1","first-page":"2021","article-title":"StableSwap-efficient mechanism for Stablecoin liquidity","volume":"24","author":"Egorov Michael","year":"2019","unstructured":"Michael Egorov. 2019. StableSwap-efficient mechanism for Stablecoin liquidity. Retrieved Feb 24 (2019), 2021.","journal-title":"Retrieved Feb"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10898-018-0645-y"},{"key":"e_1_3_2_1_25_1","unstructured":"Etherscan. 2020. bZx1 Attack Transaction. https:\/\/etherscan.io\/tx\/0xb5c8bd9430b6cc87a0e2fe110ece6bf527fa4f170a4bc8cd032f768fc5219838."},{"key":"e_1_3_2_1_26_1","unstructured":"Etherscan. 2020. Cheesebank Attack Transaction. https:\/\/etherscan.io\/tx\/0x600a869aa3a259158310a233b815ff67ca41eab8961a49918c2031297a02f1cc."},{"key":"e_1_3_2_1_27_1","unstructured":"Etherscan. 2020. Eminence Attack Transaction. https:\/\/etherscan.io\/tx\/0x3503253131644dd9f52802d071de74e456570374d586ddd640159cf6fb9b8ad8."},{"key":"e_1_3_2_1_28_1","unstructured":"Etherscan. 2020. Harvest_USDC Attack Transaction. https:\/\/etherscan.io\/tx\/0x35f8d2f572fceaac9288e5d462117850ef2694786992a8c3f6d02612277b0877."},{"key":"e_1_3_2_1_29_1","unstructured":"Etherscan. 2020. Harvest_USDT Attack Transaction. https:\/\/etherscan.io\/tx\/0x0fc6d2ca064fc841bc9b1c1fad1fbb97bcea5c9a1b2b66ef837f1227e06519a6."},{"key":"e_1_3_2_1_30_1","unstructured":"Etherscan. 2020. inverseFi Attack Transaction. https:\/\/etherscan.io\/tx\/0x958236266991bc3fe3b77feaacea120f172c0708ad01c7a715b255f218f9313c."},{"key":"e_1_3_2_1_31_1","unstructured":"Etherscan. 2020. ValueDeFi Attack Transaction. https:\/\/etherscan.io\/tx\/0x46a03488247425f845e444b9c10b52ba3c14927c687d38287c0faddc7471150a."},{"key":"e_1_3_2_1_32_1","unstructured":"Etherscan. 2020. Warp Attack Transaction. https:\/\/etherscan.io\/tx\/0x8bb8dc5c7c830bac85fa48acad2505e9300a91c3ff239c9517d0cae33b595090."},{"key":"e_1_3_2_1_33_1","unstructured":"Etherscan. 2021. Yearn Attack Transaction. https:\/\/etherscan.io\/tx\/0xf6022012b73770e7e2177129e648980a82aab555f9ac88b8a9cda3ec44b30779."},{"key":"e_1_3_2_1_34_1","unstructured":"Etherscan. 2023. The Ethereum Blockchain Explorer. https:\/\/etherscan.io\/"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"e_1_3_2_1_36_1","volume-title":"Precise attack synthesis for smart contracts. arXiv preprint arXiv:1902.06067","author":"Feng Yu","year":"2019","unstructured":"Yu Feng, Emina Torlak, and Rastislav Bodik. 2019. Precise attack synthesis for smart contracts. arXiv preprint arXiv:1902.06067 (2019)."},{"key":"e_1_3_2_1_37_1","unstructured":"Ethereum Foundation. 2023. Solidity Programming Language. https:\/\/docs.soliditylang.org\/en\/v0.8.14\/. Accessed: 2023-03-24."},{"key":"e_1_3_2_1_38_1","unstructured":"Ethereum Foundation. 2023. Vyper Programming Language. https:\/\/vyper.readthedocs.io\/en\/stable\/. Accessed: 2023-02-24."},{"key":"e_1_3_2_1_39_1","unstructured":"Foundry Contributors. 2023. Foundry. https:\/\/github.com\/foundry-rs\/foundry\/. Accessed: 2023-01-31."},{"key":"e_1_3_2_1_40_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Frank Joel","year":"2020","unstructured":"Joel Frank, Cornelius Aschermann, and Thorsten Holz. 2020. {ETHBMC}: A Bounded Model Checker for Smart Contracts. In 29th USENIX Security Symposium (USENIX Security 20). 2757--2774."},{"key":"e_1_3_2_1_41_1","unstructured":"FtmScan. 2022. OneRing Attack Transaction. https:\/\/ftmscan.com\/tx\/0xca8dd33850e29cf138c8382e17a19e77d7331b57c7a8451648788bbb26a70145."},{"key":"e_1_3_2_1_42_1","unstructured":"FTMScan. 2023. The Fantom Blockchain Explorer. https:\/\/ftmscan.com\/"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3558535.3559793"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE48619.2023.00087"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3395363.3404366"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1137\/070709359"},{"key":"e_1_3_2_1_48_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--12.","DOI":"10.14722\/ndss.2018.23082"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534372"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409740"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_1_53_1","unstructured":"Quantstamp Martin Derka. 2023. Automated Flash Loan Attack Synthesis. https:\/\/www.youtube.com\/watch?v=e6VR7Rv-jiY&t=100s&ab_channel=DeFiSecuritySummit."},{"key":"e_1_3_2_1_54_1","unstructured":"Jack McKay. 2022. DeFi-ing Cyber Attacks. (2022)."},{"key":"e_1_3_2_1_55_1","volume-title":"Introduction to linear regression analysis","author":"Montgomery Douglas C","unstructured":"Douglas C Montgomery, Elizabeth A Peck, and G Geoffrey Vining. 2021. Introduction to linear regression analysis. John Wiley & Sons."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00133"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380334"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.5555\/1953048.2078195"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-64322-8_1"},{"key":"e_1_3_2_1_60_1","unstructured":"Quantstamp. 2023. Economic Exploit Analysis. https:\/\/quantstamp.com\/economic-exploits."},{"key":"e_1_3_2_1_61_1","unstructured":"Quantstamp. 2023. Web3 Security Firm Quantstamp Launches Novel Economic Exploit Analysis Service to Combat Flash Loan Attacks. https:\/\/www.newswire.ca\/news-releases\/web3-security-firm-quantstamp-launches-novel-economic-exploit-analysis-service-to-combat-flash-loan-attacks-833815039.html."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"crossref","unstructured":"Shahin Ramezany Rachsuda Setthawong and Pisal Setthawong. 2023. Midnight: An Efficient Event-driven EVM Transaction Security Monitoring Approach For Flash Loan Detection. In 2023 20th International Joint Conference on Computer Science and Software Engineering (JCSSE). IEEE 237--241.","DOI":"10.1109\/JCSSE58229.2023.10201970"},{"key":"e_1_3_2_1_63_1","unstructured":"Rekt. 2020. WARP FINANCE - REKT. https:\/\/rekt.news\/warp-finance-rekt\/."},{"key":"e_1_3_2_1_64_1","volume-title":"Nearest neighbor value interpolation. arXiv preprint arXiv:1211.1768","author":"Rukundo Olivier","year":"2012","unstructured":"Olivier Rukundo and Hanqiang Cao. 2012. Nearest neighbor value interpolation. arXiv preprint arXiv:1211.1768 (2012)."},{"key":"e_1_3_2_1_65_1","unstructured":"Thomas Jay Rush. 2023. TrueBlocks. https:\/\/trueblocks.io\/."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598059"},{"key":"e_1_3_2_1_67_1","unstructured":"SlowMist. 2023. The 10 most common attacks. https:\/\/hacked.slowmist.io\/en\/statistics\/?c=all&d=all. Accessed: 2023-02-01."},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194113.3194115"},{"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 Labs. 2023. Uniswap Protocol. https:\/\/uniswap.org\/. Accessed: 2023-11-08."},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41592-019-0686-2"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.4916307"},{"key":"e_1_3_2_1_73_1","volume-title":"DeFiScanner: Spotting DeFi Attacks Exploiting Logic Vulnerabilities on Blockchain","author":"Wang Bin","year":"2022","unstructured":"Bin Wang, Xiaohan Yuan, Li Duan, Hongliang Ma, Chunhua Su, and Wei Wang. 2022. DeFiScanner: Spotting DeFi Attacks Exploiting Logic Vulnerabilities on Blockchain. IEEE Transactions on Computational Social Systems (2022)."},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/3457977.3460301"},{"key":"e_1_3_2_1_75_1","volume-title":"Oracle-supported dynamic exploit generation for smart contracts","author":"Wang Haijun","year":"2020","unstructured":"Haijun Wang, Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, and Yang Liu. 2020. Oracle-supported dynamic exploit generation for smart contracts. IEEE Transactions on Dependable and Secure Computing (2020)."},{"key":"e_1_3_2_1_76_1","volume-title":"Informatics","volume":"10","author":"Werapun Warodom","year":"2022","unstructured":"Warodom Werapun, Tanakorn Karode, Tanwa Arpornthip, Jakapan Suaboot, Esther Sangiamkul, and Pawita Boonrat. 2022. The Flash Loan Attack Analysis (FAA) Framework---A Case Study of the Warp Finance Exploitation. In Informatics, Vol. 10. MDPI, 3."},{"key":"e_1_3_2_1_77_1","volume-title":"Ethereum: A Secure Decentralised Generalised Transaction Ledger. https:\/\/ethereum.github.io\/yellowpaper\/paper.pdf.","author":"Wood Gavin","year":"2012","unstructured":"Gavin Wood. 2012. Ethereum: A Secure Decentralised Generalised Transaction Ledger. https:\/\/ethereum.github.io\/yellowpaper\/paper.pdf."},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVCBT.2018.00011"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/3491051"},{"key":"e_1_3_2_1_80_1","volume-title":"Detecting Flash Loan Based Attacks in Ethereum. In 2023 IEEE 43rd International Conference on Distributed Computing Systems (ICDCS). IEEE, 154--165","author":"Xia Qing","year":"2023","unstructured":"Qing Xia, Zhirong Huang, Wensheng Dou, Yafeng Zhang, Fengjun Zhang, Geng Liang, and Chun Zuo. 2023. Detecting Flash Loan Based Attacks in Ethereum. In 2023 IEEE 43rd International Conference on Distributed Computing Systems (ICDCS). IEEE, 154--165."},{"key":"e_1_3_2_1_81_1","volume-title":"Sok: Decentralized exchanges (dex) with automated market maker (AMM) protocols. arXiv preprint arXiv:2103.12732","author":"Xu Jiahua","year":"2021","unstructured":"Jiahua Xu, Krzysztof Paruch, Simon Cousaert, and Yebo Feng. 2021. Sok: Decentralized exchanges (dex) with automated market maker (AMM) protocols. arXiv preprint arXiv:2103.12732 (2021)."},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"crossref","unstructured":"Zhuo Zhang Brian Zhang Wen Xu and Zhiqiang Lin. 2023. Demystifying Exploitable Bugs in Smart Contracts. ICSE.","DOI":"10.1109\/ICSE48619.2023.00061"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/3533767.3534395"}],"event":{"name":"ICSE '24: IEEE\/ACM 46th International Conference on Software Engineering","location":"Lisbon Portugal","acronym":"ICSE '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3639190","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597503.3639190","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:49:13Z","timestamp":1750272553000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3639190"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,12]]},"references-count":83,"alternative-id":["10.1145\/3597503.3639190","10.1145\/3597503"],"URL":"https:\/\/doi.org\/10.1145\/3597503.3639190","relation":{},"subject":[],"published":{"date-parts":[[2024,4,12]]},"assertion":[{"value":"2024-04-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}