Lars Hupel’s website

How to design a Public Key Infrastructure for a Central Bank Digital Currency

BibLaTeX incompatibility on arXiv

What's the yield on my stonks

A conceptual model for point-of-sale payment with Retail CBDC

Digital Cash: Secure wallets for online and offline payments

Korrektheit durch formale Methoden

Meeting the need for offline digital payments

Digital Euro Update

Living with eosinophilic esophagitis

Extending Isabelle/HOL's Code Generator with support for the Go programming language

Making research papers more accessible

Meeting the need for offline digital payments

Tokenisation: The logical next step for securities

Spreading the word: meet the chief evangelist

How I offset carbon emissions

How I became a gardener

Digital Cash: What It Is and How It Works

Why accounts do not solve double-spending

Are stablecoins centralized or decentralized?

Interoperability aspects of CBDC across ecosystems and borders