2024/01/11 by Xun Deng, Deng, Xun, Sidi Mohamed Beillahi +9 · 1 citation
Computer Science · #Blockchain Technology Applications and Security #Cryptography and Data Security #D.2.4 #FOS: Computer and information sciences #Security and Verification in Computing #Software Engineering (cs.SE)
paper · pdf · doi:10.48550/arxiv.2401.06044
openalex publication_date 2024/01/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
This paper presents OVer, a framework designed to automatically analyze the behavior of decentralized finance (DeFi) protocols when subjected to a "skewed" oracle input. OVer firstly performs symbolic analysis on the given contract and constructs a model of constraints. Then, the framework leverages an SMT solver to identify parameters that allow its secure operation. Furthermore, guard statements may be generated for smart contracts that may use the oracle values, thus effectively preventing oracle manipulation attacks. Empirical results show that OVer can successfully analyze all 10 benchmarks collected, which encompass a diverse range of DeFi protocols. Additionally, this paper also illustrates that current parameters utilized in the majority of benchmarks are inadequate to ensure safety when confronted with significant oracle deviations.