1 citations
4 papers
How to design a Public Key Infrastructure for a Central Bank Digital Currency
Makan Rafiee, Lars Hupel
Central Bank Digital Currency (CBDC) is a new form of money, issued by a country's or region's central bank, that can be used for a variety of payment scenarios. Depending on its c…
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…
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…
Rule-based Test Generation with Mind Maps
Dimitry Polivaev
This paper introduces basic concepts of rule based test generation with mind maps, and reports experiences learned from industrial application of this technique in the domain of sm…