output
20122024
most citedHow does post-quantum cryptography affect Central Bank Digital Currency?

1 citations

researchers with a paper here
collaborating institutions
Showing 2023Show all

2 papers · 1 filter

cs.PL2023

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

Terru Stübinger, Lars Hupel

The Isabelle proof assistant includes a small functional language, which allows users to write and reason about programs. So far, these programs could be extracted into a number of…

cs.CR2023★ 1 cited

How does post-quantum cryptography affect Central Bank Digital Currency?

Lars Hupel, Makan Rafiee

Central Bank Digital Currency (CBDC) is an emerging trend in digital payments, with the vast majority of central banks around the world researching, piloting, or even operating a d…