This paper presents OVer, a framework designed to automatically analyze the behaviour of decentralized finance (DeFi) protocols when subjected to a "skewed" oracle input. OVer firstly performs a symbolic analysis on the given contract and constructs a model of constraints. Then, the framework...

A well-functioning monetary system is characterized by public and private forms of money that exchange at par as value flows freely between them. This is essential for efficient transacting and contracting in a market economy. A relevant retail public money - whether in the form of cash, a...