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...

In times of stress, if the potential demand from asset managers for market liquidity approaches or exceeds dealers' ability to intermediate, it could lead to a precautionary but disruptive dash for cash and may lead central banks to intervene. If the likelihood of such a dash for cash increases...

This paper proposes a practical approach to address the procyclicality of initial margin at central counterparties (CCPs) that can work even in periods of extreme stress. The approach allows CCPs to limit the speed of margin increases resulting from spikes in market volatility. To maintain the...

Canada is in the midst of developing three new core payment systems: Lynx, Settlement Optimization Engine (SOE) and Real-Time Rail (RTR). Lynx and SOE will replace the current Large Value Transfer System (LVTS) and Automated Clearing Settlement System (ACSS), whereas RTR will be a new...

This paper addresses several broad issues for governments aiming to encourage private sector investment in low-carbon climate resilient (LCR) infrastructure, in both developed and developing world contexts. LCR infrastructure is defined, recognizing the interdependencies between infrastructure...