Digital payments and decentralized systems enable the creation of new financial products and services for users. One core challenge in digital payments is the need to protect users from fraud and abuse while retaining privacy in individual transactions. We propose a pseudonymous credential...

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

We frame the wide spectrum of possible system architectures for an online retail central bank digital currency (CBDC) and identify a promising architecture well-suited for basic payments. We select OpenCBDC 2PC, a representative system design that fits this architecture and analyze it using a...

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

This paper uses reinforcement learning (RL) to approximate the policy rules of banks participating in a high-value payments system. The objective of the agents is to learn a policy function for the choice of amount of liquidity provided to the system at the beginning of the day. Individual...