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

The paper deals with cashless payments during the pandemic situation caused by Covid-19. The aim of the paper will be to use the method of analysis and comparison of selected data to answer the following research question: Has the pandemic caused by Covid-19 contributed to increasing the share...

The role of money in society has been a controversial topic in economic theory over many years. Particular attention has been devoted to the analysis whether there should be competition in the supply of money, or whether this is best left to a governmental agency. This paper reviews the...

The success of alternative payment systems has led to discussion of various proposals to replace money with a new technology-based system, though many lack a clear idea of what exactly is the "money" they seek to replace. We begin by presenting the explanation of money's role in the economy...