{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,12]],"date-time":"2026-09-12T01:34:40Z","timestamp":1789176880187,"version":"build-2803163510"},"publisher-location":"New York, NY, USA","reference-count":49,"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":[{"name":"the National Key R&D Program of China","award":["2022YFB2702203"],"award-info":[{"award-number":["2022YFB2702203"]}]},{"name":"Technology Program of Guangzhou, China","award":["No. 202103050004"],"award-info":[{"award-number":["No. 202103050004"]}]},{"name":"the National Natural Science Foundation of China","award":["No. 62032025"],"award-info":[{"award-number":["No. 62032025"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,12]]},"DOI":"10.1145\/3597926.3598133","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"1257-1268","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Toward Automated Detecting Unanticipated Price Feed in Smart Contract"],"prefix":"10.1145","author":[{"given":"Yifan","family":"Mo","sequence":"first","affiliation":[{"name":"Sun Yat-sen University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jiachi","family":"Chen","sequence":"additional","affiliation":[{"name":"Sun Yat-sen University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yanlin","family":"Wang","sequence":"additional","affiliation":[{"name":"Sun Yat-sen University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zibin","family":"Zheng","sequence":"additional","affiliation":[{"name":"Sun Yat-sen University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2022. Chainlink. https:\/\/chain.link\/ \t\t\t\t  2022. Chainlink. https:\/\/chain.link\/"},{"key":"e_1_3_2_1_2_1","unstructured":"2022. The collapse of luna price. https:\/\/www.theblock.co\/post\/146225\/luna-price-collapses-below-5-as-ust-slides-further-from-dollar-peg \t\t\t\t  2022. The collapse of luna price. https:\/\/www.theblock.co\/post\/146225\/luna-price-collapses-below-5-as-ust-slides-further-from-dollar-peg"},{"key":"e_1_3_2_1_3_1","unstructured":"2022. ERC-20 TOKEN STANDARD. https:\/\/ethereum.org\/en\/developers\/docs\/standards\/tokens\/erc-20\/ \t\t\t\t  2022. ERC-20 TOKEN STANDARD. https:\/\/ethereum.org\/en\/developers\/docs\/standards\/tokens\/erc-20\/"},{"key":"e_1_3_2_1_4_1","unstructured":"2022. MonoX incident. https:\/\/medium.com\/monoswap\/exploit-post-mortem-33921a779b43 \t\t\t\t  2022. MonoX incident. https:\/\/medium.com\/monoswap\/exploit-post-mortem-33921a779b43"},{"key":"e_1_3_2_1_5_1","unstructured":"2022. Moralis. https:\/\/docs.moralis.io\/ \t\t\t\t  2022. Moralis. https:\/\/docs.moralis.io\/"},{"key":"e_1_3_2_1_6_1","unstructured":"2022. Pancakeswap. https:\/\/pancakeswap.finance\/ \t\t\t\t  2022. Pancakeswap. https:\/\/pancakeswap.finance\/"},{"key":"e_1_3_2_1_7_1","unstructured":"2022. Rikkei finance incident. https:\/\/rikkeifinance.medium.com\/rikkei-finance-incident-investigation-report-b5b1745b0155 \t\t\t\t  2022. Rikkei finance incident. https:\/\/rikkeifinance.medium.com\/rikkei-finance-incident-investigation-report-b5b1745b0155"},{"key":"e_1_3_2_1_8_1","unstructured":"2022. Sushiswap INV\/ETH incident of Inverse protocol. https:\/\/twitter.com\/InverseFinance\/status\/1537372199769845760 \t\t\t\t  2022. Sushiswap INV\/ETH incident of Inverse protocol. https:\/\/twitter.com\/InverseFinance\/status\/1537372199769845760"},{"key":"e_1_3_2_1_9_1","unstructured":"2022. Synthetix protocol. https:\/\/www.synthetix.io\/ \t\t\t\t  2022. Synthetix protocol. https:\/\/www.synthetix.io\/"},{"key":"e_1_3_2_1_10_1","unstructured":"2022. TWAP strategy of Price Oracle. https:\/\/docs.uniswap.org\/contracts\/v2\/concepts\/core-concepts\/oracles \t\t\t\t  2022. TWAP strategy of Price Oracle. https:\/\/docs.uniswap.org\/contracts\/v2\/concepts\/core-concepts\/oracles"},{"key":"e_1_3_2_1_11_1","unstructured":"2022. Uniswap. https:\/\/uniswap.org\/ \t\t\t\t  2022. Uniswap. https:\/\/uniswap.org\/"},{"key":"e_1_3_2_1_12_1","unstructured":"2022. Venus protocol. https:\/\/app.venus.io\/ \t\t\t\t  2022. Venus protocol. https:\/\/app.venus.io\/"},{"key":"e_1_3_2_1_13_1","unstructured":"2022. Venus Protocol LUNA Incident. https:\/\/blog.venus.io\/venus-protocol-luna-incident-update-2-c334475d9214 \t\t\t\t  2022. Venus Protocol LUNA Incident. https:\/\/blog.venus.io\/venus-protocol-luna-incident-update-2-c334475d9214"},{"key":"e_1_3_2_1_14_1","unstructured":"2022. VIP-61. https:\/\/app.venus.io\/governance\/proposal\/61 \t\t\t\t  2022. VIP-61. https:\/\/app.venus.io\/governance\/proposal\/61"},{"key":"e_1_3_2_1_15_1","unstructured":"2022. Zerogoki finance incident. https:\/\/blocksecteam.medium.com\/the-analysis-of-the-zerogoki-attack-da4e0807b184 \t\t\t\t  2022. Zerogoki finance incident. https:\/\/blocksecteam.medium.com\/the-analysis-of-the-zerogoki-attack-da4e0807b184"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2992698"},{"key":"e_1_3_2_1_17_1","volume-title":"IEEE Symposium on Security and Privacy (SP).","author":"Babel Kushal","year":"2023","unstructured":"Kushal Babel , Philip Daian , Mahimna Kelkar , and Ari Juels . 2023 . Clockwork finance: Automated analysis of economic security in smart contracts . In IEEE Symposium on Security and Privacy (SP). Kushal Babel, Philip Daian, Mahimna Kelkar, and Ari Juels. 2023. Clockwork finance: Automated analysis of economic security in smart contracts. In IEEE Symposium on Security and Privacy (SP)."},{"key":"e_1_3_2_1_18_1","unstructured":"Lorenz Breidenbach Christian Cachin Benedict Chan Alex Coventry Steve Ellis Ari Juels Farinaz Koushanfar Andrew Miller Brendan Magauran and Daniel Moroz. 2021. Chainlink 2.0: Next steps in the evolution of decentralized oracle networks. \t\t\t\t  Lorenz Breidenbach Christian Cachin Benedict Chan Alex Coventry Steve Ellis Ari Juels Farinaz Koushanfar Andrew Miller Brendan Magauran and Daniel Moroz. 2021. Chainlink 2.0: Next steps in the evolution of decentralized oracle networks."},{"key":"e_1_3_2_1_19_1","volume-title":"Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II 8. 92\u2013102","author":"Chen Xiaohong","year":"2018","unstructured":"Xiaohong Chen and Grigore Ro\u015fu . 2018 . A language-independent program verification framework. In Leveraging Applications of Formal Methods , Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II 8. 92\u2013102 . Xiaohong Chen and Grigore Ro\u015fu. 2018. A language-independent program verification framework. In Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II 8. 92\u2013102."},{"key":"e_1_3_2_1_20_1","volume-title":"IEEE Symposium on Security and Privacy (SP). 910\u2013927","author":"Daian Philip","year":"2020","unstructured":"Philip Daian , Steven Goldfeder , Tyler Kell , Yunqi Li , Xueyuan Zhao , Iddo Bentov , Lorenz Breidenbach , and Ari Juels . 2020 . Flash boys 2.0: Frontrunning in decentralized exchanges, miner extractable value, and consensus instability . In IEEE Symposium on Security and Privacy (SP). 910\u2013927 . Philip Daian, Steven Goldfeder, Tyler Kell, Yunqi Li, Xueyuan Zhao, Iddo Bentov, Lorenz Breidenbach, and Ari Juels. 2020. Flash boys 2.0: Frontrunning in decentralized exchanges, miner extractable value, and consensus instability. In IEEE Symposium on Security and Privacy (SP). 910\u2013927."},{"key":"e_1_3_2_1_21_1","unstructured":"DeFillama. 2022. DeFillama Dashboard. https:\/\/defillama.com\/. \t\t\t\t  DeFillama. 2022. DeFillama Dashboard. https:\/\/defillama.com\/."},{"key":"e_1_3_2_1_22_1","volume-title":"Sok: Transparent dishonesty: front-running attacks on blockchain. In Financial Cryptography and Data Security (FC). 170\u2013189.","author":"Eskandari Shayan","year":"2019","unstructured":"Shayan Eskandari , Seyedehmahsa Moosavi , and Jeremy Clark . 2019 . Sok: Transparent dishonesty: front-running attacks on blockchain. In Financial Cryptography and Data Security (FC). 170\u2013189. Shayan Eskandari, Seyedehmahsa Moosavi, and Jeremy Clark. 2019. Sok: Transparent dishonesty: front-running attacks on blockchain. In Financial Cryptography and Data Security (FC). 170\u2013189."},{"key":"e_1_3_2_1_23_1","volume-title":"IEEE Computer Security Foundations Workshop (CSFW). 204\u2013217","author":"Hildenbrandt Everett","year":"2018","unstructured":"Everett Hildenbrandt , Manasvi Saxena , Nishant Rodrigues , Xiaoran Zhu , Philip Daian , Dwight Guth , Brandon Moore , Daejun Park , Yi Zhang , and Andrei Stefanescu . 2018 . Kevm: A complete formal semantics of the ethereum virtual machine . In IEEE Computer Security Foundations Workshop (CSFW). 204\u2013217 . Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon Moore, Daejun Park, Yi Zhang, and Andrei Stefanescu. 2018. Kevm: A complete formal semantics of the ethereum virtual machine. In IEEE Computer Security Foundations Workshop (CSFW). 204\u2013217."},{"key":"e_1_3_2_1_24_1","volume-title":"IEEE Symposium on Security and Privacy (SP). 1695\u20131712","author":"Jiao Jiao","year":"2020","unstructured":"Jiao Jiao , Shuanglong Kan , Shang-Wei Lin , David Sanan , Yang Liu , and Jun Sun . 2020 . Semantic understanding of smart contracts: Executable operational semantics of solidity . In IEEE Symposium on Security and Privacy (SP). 1695\u20131712 . Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanan, Yang Liu, and Jun Sun. 2020. Semantic understanding of smart contracts: Executable operational semantics of solidity. In IEEE Symposium on Security and Privacy (SP). 1695\u20131712."},{"key":"e_1_3_2_1_25_1","volume-title":"International Conference on Financial Cryptography and Data Security. 115\u2013123","author":"Kaleem Mudabbir","year":"2021","unstructured":"Mudabbir Kaleem and Weidong Shi . 2021 . Demystifying pythia: A survey of chainlink oracles usage on ethereum . In International Conference on Financial Cryptography and Data Security. 115\u2013123 . Mudabbir Kaleem and Weidong Shi. 2021. Demystifying pythia: A survey of chainlink oracles usage on ethereum. In International Conference on Financial Cryptography and Data Security. 115\u2013123."},{"key":"e_1_3_2_1_26_1","volume-title":"ISOC Network and Distributed System Security Symposium (NDSS). 1\u201312","author":"Kalra Sukrit","year":"2018","unstructured":"Sukrit Kalra , Seep Goel , Mohan Dhawan , and Subodh Sharma . 2018 . Zeus: analyzing safety of smart contracts .. In ISOC Network and Distributed System Security Symposium (NDSS). 1\u201312 . Sukrit Kalra, Seep Goel, Mohan Dhawan, and Subodh Sharma. 2018. Zeus: analyzing safety of smart contracts.. In ISOC Network and Distributed System Security Symposium (NDSS). 1\u201312."},{"key":"e_1_3_2_1_27_1","volume-title":"IEEE 13th International Conference on Software Engineering and Service Science (ICSESS). 1\u20137.","author":"Keilty Eric","year":"2022","unstructured":"Eric Keilty , Keerthi Nelaturu , Bowen Wu , and Andreas Veneris . 2022 . A Model-Checking Framework for the Verification of Move Smart Contracts . In IEEE 13th International Conference on Software Engineering and Service Science (ICSESS). 1\u20137. Eric Keilty, Keerthi Nelaturu, Bowen Wu, and Andreas Veneris. 2022. A Model-Checking Framework for the Verification of Move Smart Contracts. In IEEE 13th International Conference on Software Engineering and Service Science (ICSESS). 1\u20137."},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the 2nd ACM Conference on Advances in Financial Technologies. 59\u201379","author":"Klages-Mundt Ariah","year":"2020","unstructured":"Ariah Klages-Mundt , Dominik Harz , Lewis Gudgeon , Jun-You Liu , and Andreea Minca . 2020 . Stablecoins 2.0: Economic foundations and risk-based models . In Proceedings of the 2nd ACM Conference on Advances in Financial Technologies. 59\u201379 . Ariah Klages-Mundt, Dominik Harz, Lewis Gudgeon, Jun-You Liu, and Andreea Minca. 2020. Stablecoins 2.0: Economic foundations and risk-based models. In Proceedings of the 2nd ACM Conference on Advances in Financial Technologies. 59\u201379."},{"key":"e_1_3_2_1_29_1","volume-title":"2021 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS). 39\u201348","author":"Liu Bowen","year":"2021","unstructured":"Bowen Liu , Pawel Szalachowski , and Jianying Zhou . 2021 . A first look into defi oracles . In 2021 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS). 39\u201348 . Bowen Liu, Pawel Szalachowski, and Jianying Zhou. 2021. A first look into defi oracles. In 2021 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS). 39\u201348."},{"key":"e_1_3_2_1_30_1","volume-title":"ACM SIGSOFT Symposium on the Foundation of Software Engineering\/ European Software Engineering Conference (FSE\/ESEC). 666\u2013677","author":"Liu Ye","year":"2020","unstructured":"Ye Liu , Yi Li , Shang-Wei Lin , and Rong Zhao . 2020 . Towards automated verification of smart contract fairness . In ACM SIGSOFT Symposium on the Foundation of Software Engineering\/ European Software Engineering Conference (FSE\/ESEC). 666\u2013677 . Ye Liu, Yi Li, Shang-Wei Lin, and Rong Zhao. 2020. Towards automated verification of smart contract fairness. In ACM SIGSOFT Symposium on the Foundation of Software Engineering\/ European Software Engineering Conference (FSE\/ESEC). 666\u2013677."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00357-7"},{"key":"e_1_3_2_1_32_1","volume-title":"Bitcoin\u2019s $460 million disaster. Wired. March, 3","author":"McMillan Robert","year":"2014","unstructured":"Robert McMillan . 2014. The inside story of Mt. Gox , Bitcoin\u2019s $460 million disaster. Wired. March, 3 ( 2014 ). Robert McMillan. 2014. The inside story of Mt. Gox, Bitcoin\u2019s $460 million disaster. Wired. March, 3 (2014)."},{"key":"e_1_3_2_1_33_1","volume-title":"Financial Cryptography and Data Security: 17th International Conference, FC 2013","author":"Moore Tyler","year":"2013","unstructured":"Tyler Moore and Nicolas Christin . 2013 . Beware the middleman: Empirical analysis of Bitcoin-exchange risk . In Financial Cryptography and Data Security: 17th International Conference, FC 2013 , Okinawa, Japan , April 1-5, 2013, Revised Selected Papers 17. 25\u201333. Tyler Moore and Nicolas Christin. 2013. Beware the middleman: Empirical analysis of Bitcoin-exchange risk. In Financial Cryptography and Data Security: 17th International Conference, FC 2013, Okinawa, Japan, April 1-5, 2013, Revised Selected Papers 17. 25\u201333."},{"key":"e_1_3_2_1_34_1","volume-title":"IEEE Symposium on Security and Privacy (SP). 198\u2013214","author":"Qin Kaihua","year":"2022","unstructured":"Kaihua Qin , Liyi Zhou , and Arthur Gervais . 2022 . Quantifying blockchain extractable value: How dark is the forest? In IEEE Symposium on Security and Privacy (SP). 198\u2013214 . Kaihua Qin, Liyi Zhou, and Arthur Gervais. 2022. Quantifying blockchain extractable value: How dark is the forest? In IEEE Symposium on Security and Privacy (SP). 198\u2013214."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Kaihua Qin Liyi Zhou Benjamin Livshits and Arthur Gervais. 2021. Attacking the defi ecosystem with flash loans for fun and profit. In Financial Cryptography and Data Security (FC). 3\u201332. \t\t\t\t  Kaihua Qin Liyi Zhou Benjamin Livshits and Arthur Gervais. 2021. Attacking the defi ecosystem with flash loans for fun and profit. In Financial Cryptography and Data Security (FC). 3\u201332.","DOI":"10.1007\/978-3-662-64322-8_1"},{"key":"e_1_3_2_1_36_1","first-page":"1","article-title":"Matching logic","volume":"13","author":"Ro\u015fu Grigore","year":"2017","unstructured":"Grigore Ro\u015fu . 2017 . Matching logic . Logical Methods in Computer Science , 13 , 4 (2017), 1 \u2013 61 . Grigore Ro\u015fu. 2017. Matching logic. Logical Methods in Computer Science, 13, 4 (2017), 1\u201361.","journal-title":"Logical Methods in Computer Science"},{"key":"e_1_3_2_1_37_1","volume-title":"K: A semantic framework for programming languages and formal analysis tools. Dependable Software Systems Engineering, 186\u2013206.","author":"Rosu Grigore","year":"2017","unstructured":"Grigore Rosu . 2017 . K: A semantic framework for programming languages and formal analysis tools. Dependable Software Systems Engineering, 186\u2013206. Grigore Rosu. 2017. K: A semantic framework for programming languages and formal analysis tools. Dependable Software Systems Engineering, 186\u2013206."},{"key":"e_1_3_2_1_38_1","volume-title":"IEEE Symposium on Security and Privacy (SP). 555\u2013571","author":"Stephens Jon","year":"2021","unstructured":"Jon Stephens , Kostas Ferles , Benjamin Mariano , Shuvendu Lahiri , and Isil Dillig . 2021 . SmartPulse: automated checking of temporal properties in smart contracts . In IEEE Symposium on Security and Privacy (SP). 555\u2013571 . Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu Lahiri, and Isil Dillig. 2021. SmartPulse: automated checking of temporal properties in smart contracts. In IEEE Symposium on Security and Privacy (SP). 555\u2013571."},{"key":"e_1_3_2_1_39_1","volume-title":"Usenix Security Symposium. 1343\u20131359","author":"Torres Christof Ferreira","year":"2021","unstructured":"Christof Ferreira Torres and Ramiro Camino . 2021 . Frontrunner jones and the raiders of the dark forest: An empirical study of frontrunning on the ethereum blockchain . In Usenix Security Symposium. 1343\u20131359 . Christof Ferreira Torres and Ramiro Camino. 2021. Frontrunner jones and the raiders of the dark forest: An empirical study of frontrunning on the ethereum blockchain. In Usenix Security Symposium. 1343\u20131359."},{"key":"e_1_3_2_1_40_1","volume-title":"Fraud and manipulation within cryptocurrency markets. Corruption and fraud in financial markets: malpractice, misconduct and manipulation, 624","author":"Twomey David","year":"2020","unstructured":"David Twomey and Andrew Mann . 2020. Fraud and manipulation within cryptocurrency markets. Corruption and fraud in financial markets: malpractice, misconduct and manipulation, 624 ( 2020 ). David Twomey and Andrew Mann. 2020. Fraud and manipulation within cryptocurrency markets. Corruption and fraud in financial markets: malpractice, misconduct and manipulation, 624 (2020)."},{"key":"e_1_3_2_1_41_1","unstructured":"Yongge Wang. 2020. Automated market makers for decentralized finance (defi). arXiv preprint arXiv:2009.01676. \t\t\t\t  Yongge Wang. 2020. Automated market makers for decentralized finance (defi). arXiv preprint arXiv:2009.01676."},{"key":"e_1_3_2_1_42_1","volume-title":"Working Conference on Verified Software: Theories, Tools, and Experiments. 87\u2013106","author":"Wang Yuepeng","year":"2019","unstructured":"Yuepeng Wang , Shuvendu K Lahiri , Shuo Chen , Rong Pan , Isil Dillig , Cody Born , Immad Naseer , and Kostas Ferles . 2019 . Formal verification of workflow policies for smart contracts in azure blockchain . In Working Conference on Verified Software: Theories, Tools, and Experiments. 87\u2013106 . Yuepeng Wang, Shuvendu K Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, and Kostas Ferles. 2019. Formal verification of workflow policies for smart contracts in azure blockchain. In Working Conference on Verified Software: Theories, Tools, and Experiments. 87\u2013106."},{"key":"e_1_3_2_1_43_1","volume-title":"Defiranger: Detecting price manipulation attacks on defi applications. arXiv preprint.","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. 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."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978326"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"crossref","unstructured":"Zibin Zheng Shaoan Xie Hongning Dai Xiangping Chen and Huaimin Wang. 2017. An overview of blockchain technology: Architecture consensus and future trends. In 2017 IEEE international congress on big data (BigData congress). 557\u2013564. \t\t\t\t  Zibin Zheng Shaoan Xie Hongning Dai Xiangping Chen and Huaimin Wang. 2017. An overview of blockchain technology: Architecture consensus and future trends. In 2017 IEEE international congress on big data (BigData congress). 557\u2013564.","DOI":"10.1109\/BigDataCongress.2017.85"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.12.019"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJWGS.2018.095647"},{"key":"e_1_3_2_1_48_1","volume-title":"IEEE Symposium on Security and Privacy (SP). 919\u2013936","author":"Zhou Liyi","year":"2021","unstructured":"Liyi Zhou , Kaihua Qin , Antoine Cully , Benjamin Livshits , and Arthur Gervais . 2021 . On the just-in-time discovery of profit-generating transactions in defi protocols . In IEEE Symposium on Security and Privacy (SP). 919\u2013936 . Liyi Zhou, Kaihua Qin, Antoine Cully, Benjamin Livshits, and Arthur Gervais. 2021. On the just-in-time discovery of profit-generating transactions in defi protocols. In IEEE Symposium on Security and Privacy (SP). 919\u2013936."},{"key":"e_1_3_2_1_49_1","volume-title":"IEEE Symposium on Security and Privacy (SP). 428\u2013445","author":"Zhou Liyi","year":"2021","unstructured":"Liyi Zhou , Kaihua Qin , Christof Ferreira Torres , Duc V Le , and Arthur Gervais . 2021 . High-frequency trading on decentralized on-chain exchanges . In IEEE Symposium on Security and Privacy (SP). 428\u2013445 . Liyi Zhou, Kaihua Qin, Christof Ferreira Torres, Duc V Le, and Arthur Gervais. 2021. High-frequency trading on decentralized on-chain exchanges. In IEEE Symposium on Security and Privacy (SP). 428\u2013445."}],"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.3598133","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3598133","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.3598133"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":49,"alternative-id":["10.1145\/3597926.3598133","10.1145\/3597926"],"URL":"https:\/\/doi.org\/10.1145\/3597926.3598133","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"}}]}}