7 citations · 26 across the 7 of their papers we have counts for
7 papers
Threshold Signatures for Central Bank Digital Currencies
Mostafa Abdelrahman, Filip Rezabek, Lars Hupel +2
Digital signatures are crucial for securing Central Bank Digital Currencies (CBDCs) transactions. Like most forms of digital currencies, CBDC solutions rely on signatures for trans…
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…
Translating Scala Programs to Isabelle/HOL
Lars Hupel, Viktor Kuncak
We present a trustworthy connection between the Leon verification system and the Isabelle proof assistant. Leon is a system for verifying functional Scala programs. It uses a varie…
Semantics-Preserving Simplification of Real-World Firewall Rule Sets
Cornelius Diekmann, Lars Hupel, Georg Carle
The security provided by a firewall for a computer network almost completely depends on the rules it enforces. For over a decade, it has been a well-known and unsolved problem that…
Interactive Simplifier Tracing and Debugging in Isabelle
Lars Hupel
The Isabelle proof assistant comes equipped with a very powerful tactic for term simplification. While tremendously useful, the results of simplifying a term do not always match th…