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

Some policymakers and scholars view cryptocurrencies as conduits of illegality and fraud, which therefore should be tightly regulated. Others warn that regulation could simply cause trading activity to cross borders into less-regulated jurisdictions—or even smother a promising new financial...

Digital currencies have attracted strong interest in recent years and have the potential to become widely adopted for use in making payments. Public authorities and central banks around the world are closely monitoring developments in digital currencies and studying their implications for the...

Bitcoin is the oldest and most widely established cryptocurrency network with the highest market capitalization among all cryptocurrencies. Although bitcoin (with lowercase b) is increasingly viewed as a digital asset belonging to a new asset class, the Bitcoin network (with uppercase B) is a...

Blockchain technologies hold the key to building an inclusive global digital economy that is auditably secure and transparently accountable to the world’s citizens. At a time when governments must fight to restore the public's faith in cross-border economic cooperation, blockchains can play a...

We develop a new framework to examine the effects of retail central bank digital currencies (CBDCs) on financial inclusion and stability, particularly how the results depend on an economy's existing degree of financial development. We demonstrate that when offering CBDCs in underdeveloped...

Prices for cryptocurrencies have undergone multiple boom-bust cycles, together with ongoing entry by retail investors. To investigate the drivers of crypto adoption, we assemble a novel database (made available with this paper) on retail use of crypto exchange apps at daily frequency for 95...

We document systematic differences in bitcoin prices across 11 different markets representing 26\% of global bitcoin trade volume. These differences must --- due to the identical nature of all bitcoin--- result from characteristics of markets themselves. We examine differences across the markets...

At the end of 2017, the Bitcoin price dropped significantly by around 70% over two months. Since the introduction of Bitcoin futures coincided with this market crash, the new financial instrument might have caused the market crash, the literature emphasizing that the futures enabled investors to...