{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,28]],"date-time":"2026-10-28T17:08:57Z","timestamp":1793207337777,"version":"4.5.0"},"publisher-location":"New York, NY, USA","reference-count":53,"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.3639225","type":"proceedings-article","created":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T16:43:26Z","timestamp":1712940206000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Safeguarding DeFi Smart Contracts against Oracle Deviations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-9364-1412","authenticated-orcid":false,"given":"Xun","family":"Deng","sequence":"first","affiliation":[{"name":"University of Toronto, Toronto, Ontario, 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, Ontario, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9569-664X","authenticated-orcid":false,"given":"Cyrus","family":"Minwalla","sequence":"additional","affiliation":[{"name":"Bank of Canada, Ottawa, Ontario, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-0256-180X","authenticated-orcid":false,"given":"Han","family":"Du","sequence":"additional","affiliation":[{"name":"Bank of Canada, Ottawa, Ontario, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6309-8821","authenticated-orcid":false,"given":"Andreas","family":"Veneris","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, Ontario, 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, Ontario, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,4,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2021. Solo protocol. https:\/\/github.com\/dydxprotocol\/solo\/releases\/tag\/v0.41.0."},{"key":"e_1_3_2_1_2_1","unstructured":"2023. Yearn Attack Disclosure. https:\/\/github.com\/yearn\/yearn-security\/blob\/master\/disclosures\/2021-02-04.md."},{"key":"e_1_3_2_1_3_1","unstructured":"Aave. 2023. Aave V2. https:\/\/github.com\/aave\/protocol-v2\/tree\/master."},{"key":"e_1_3_2_1_4_1","volume-title":"Astraea: A decentralized blockchain oracle. In 2018 IEEE international conference on internet of things","author":"Adler John","year":"2018","unstructured":"John Adler, Ryan Berryhill, Andreas Veneris, Zissis Poulos, Neil Veira, and Anastasia Kastania. 2018. Astraea: A decentralized blockchain oracle. In 2018 IEEE international conference on internet of things (IThings) and IEEE green computing and communications (GreenCom) and IEEE cyber, physical and social computing (CPSCom) and IEEE smart data (SmartData). IEEE, 1145--1152."},{"key":"e_1_3_2_1_5_1","first-page":"60","article-title":"Oracles in Decentralized Finance","volume":"25","author":"Aspembitova Ayana T","year":"2022","unstructured":"Ayana T Aspembitova and Michael A Bentley. 2022. Oracles in Decentralized Finance: Attack Costs, Profits and Mitigation Measures. Entropy 25, 1 (2022), 60.","journal-title":"Attack Costs, Profits and Mitigation Measures. Entropy"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-19759-8_21"},{"key":"e_1_3_2_1_7_1","volume-title":"WIP: Finding bugs automatically in smart contracts with parameterized invariants. Retrieved July 14","author":"Bernardi Thomas","year":"2020","unstructured":"Thomas Bernardi, Nurit Dor, Anastasia Fedotov, Shelly Grossman, Neil Immerman, Daniel Jackson, Alexander Nutz, Lior Oppenheim, Or Pistiner, Noam Rinetzky, et al. 2020. WIP: Finding bugs automatically in smart contracts with parameterized invariants. Retrieved July 14 (2020), 2020."},{"key":"e_1_3_2_1_8_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_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/nem.2179"},{"key":"e_1_3_2_1_10_1","unstructured":"calvwang9. 2022. Oracle Manipulation. https:\/\/github.com\/calvwang9\/oracle-manipulation."},{"key":"e_1_3_2_1_11_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)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678888"},{"key":"e_1_3_2_1_13_1","unstructured":"Compound Finance. 2020. Compound V2. https:\/\/github.com\/compound-finance\/compound-protocol\/releases\/tag\/v2.8.1."},{"key":"e_1_3_2_1_14_1","unstructured":"Consensys. 2023. Mythril: a security analysis tool for EVM bytecode. https:\/\/github.com\/Consensys\/mythril."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.FMBC.2021.1"},{"key":"e_1_3_2_1_16_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"de Moura Leonardo","unstructured":"Leonardo de Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 337--340."},{"key":"e_1_3_2_1_17_1","unstructured":"DeFiLlama. 2023. DeFiLlama - DeFi Dashboard. https:\/\/defillama.com\/."},{"key":"e_1_3_2_1_18_1","unstructured":"DeFiLlama. 2023. DeFiLlama - Oracles Dashboard. https:\/\/defillama.com\/oracles."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.10436720"},{"key":"e_1_3_2_1_20_1","volume-title":"Cyrus Minwalla, Han Du, Andreas Veneris, and Fan Long.","author":"Deng Xun","year":"2024","unstructured":"Xun Deng, Sidi Mohamed Beillahi, Cyrus Minwalla, Han Du, Andreas Veneris, and Fan Long. 2024. Safeguarding DeFi Smart Contracts against Oracle Deviations. arXiv:2401.06044 [cs.SE]"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAPPS57946.2023.00015"},{"key":"e_1_3_2_1_22_1","unstructured":"dforce Network. 2021. Lending Contracts. https:\/\/github.com\/dforce-network\/LendingContractsV2\/tree\/master\/contracts."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2018.00036"},{"key":"e_1_3_2_1_24_1","unstructured":"Etherscanners. 2020. xToken Victim Contract. https:\/\/etherscan.io\/address\/0x04bef870de607519c91d16a23434ad5745f62a63#code."},{"key":"e_1_3_2_1_25_1","unstructured":"Etherscanners. 2023. Yearn Attack. https:\/\/etherscan.io\/tx\/0xf6022012b73770e7e2177129e648980a82aab555f9ac88b8a9cda3ec44b30779."},{"key":"e_1_3_2_1_26_1","unstructured":"Euler. 2023. Euler Smart Contracts. https:\/\/github.com\/euler-xyz\/euler-contracts."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"e_1_3_2_1_28_1","unstructured":"Chainlink Foundation. 2023. Chainlink API. https:\/\/docs.chain.link\/any-api\/apireference\/."},{"key":"e_1_3_2_1_29_1","unstructured":"Ethereum Foundation. 2023. The Solidity Contract-Oriented Programming Language. https:\/\/github.com\/ethereum\/solidity"},{"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":"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_32_1","unstructured":"Uniswap Labs. 2023. Uniswap Protocol. https:\/\/uniswap.org\/."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385982"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409740"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICBC54727.2022.9805499"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416626"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00133"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380334"},{"key":"e_1_3_2_1_40_1","volume-title":"Slither: Static Analyzer for Solidity. https:\/\/github.com\/crytic\/slither.","author":"Bits Trail","year":"2023","unstructured":"Trail of Bits. 2023. Slither: Static Analyzer for Solidity. https:\/\/github.com\/crytic\/slither."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-64322-8_1"},{"key":"e_1_3_2_1_42_1","volume-title":"Sereum: Protecting existing smart contracts against re-entrancy attacks. arXiv preprint arXiv:1812.05934","author":"Rodler Michael","year":"2018","unstructured":"Michael Rodler, Wenting Li, Ghassan O Karame, and Lucas Davi. 2018. Sereum: Protecting existing smart contracts against re-entrancy attacks. arXiv preprint arXiv:1812.05934 (2018)."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598059"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.3390\/electronics9020255"},{"key":"e_1_3_2_1_45_1","unstructured":"Vyper Team. 2023. Vyper. https:\/\/vyper.readthedocs.io\/en\/stable\/"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194113.3194115"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-63958-0_13"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2020.3037332"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSPW54576.2021.00047"},{"key":"e_1_3_2_1_51_1","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:2104.15068 [cs.CR]"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-06764-8_25"},{"key":"e_1_3_2_1_53_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.3639225","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597503.3639225","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:49:13Z","timestamp":1750286953000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3639225"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,12]]},"references-count":53,"alternative-id":["10.1145\/3597503.3639225","10.1145\/3597503"],"URL":"https:\/\/doi.org\/10.1145\/3597503.3639225","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"}}]}}