An anonymous credential mechanism is a set of protocols that allows users to obtain credentials from an organization and demonstrate ownership of these credentials without compromising users' privacy. In this work, we construct the first secret-free and quantum-safe credential mechanism. The...

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

We analyze Ramsey optimal monetary policy in a New-Keynesian model withsearch and matching frictions featuring (i) training costs due to skill loss fromlong-term unemployment and (ii) endogenous growth through learning-by-doingexternalities. In a simplified two-period version of the model, the...

Responding to the increased attention on the distributional aspects of monetary policy, we investigate the reallocation among heterogeneous firms triggered by nominal growth. Japanese firm-level data show that large firms invest more in R&D and grow faster than small firms under higher...