Lars Hupel

33 papers A 2B 1C 3Journal 23Unranked 3
YearRankTypeTitle / Venue / Authors
2025 C conf
How to Design a Public Key Infrastructure for a Central Bank Digital Currency.
SECRYPT
Makan Rafiee, Lars Hupel
2025 J jnl
Threshold Signatures for Central Bank Digital Currencies.
CoRR
Mostafa Abdelrahman, Filip Rezabek, Lars Hupel, Kilian Glas, Georg Carle
2024 — conf
Extending Isabelle/HOL's Code Generator with Support for the Go Programming Language.
FM (2)
Terru Stübinger, Lars Hupel
2024 J jnl
Go Code Generation for Isabelle.
Arch. Formal Proofs
Terru Stübinger, Lars Hupel
2024 J jnl
How to design a Public Key Infrastructure for a Central Bank Digital Currency.
CoRR
Makan Rafiee, Lars Hupel
2023 J jnl
Extending Isabelle/HOL's Code Generator with support for the Go programming language.
CoRR
Terru Stübinger, Lars Hupel
2023 J jnl
Fixed-length vectors.
Arch. Formal Proofs
Lars Hupel
2023 — conf
How Does Post-quantum Cryptography Affect Central Bank Digital Currency?
UbiSec
Lars Hupel, Makan Rafiee
2023 J jnl
How does post-quantum cryptography affect Central Bank Digital Currency?
CoRR
Lars Hupel, Makan Rafiee
2020 J jnl
Hello World.
Arch. Formal Proofs
Cornelius Diekmann, Lars Hupel
2019 J jnl
A Verified Code Generator from Isabelle/HOL to CakeML.
Arch. Formal Proofs
Lars Hupel
2019 J jnl
An Algebra for Higher-Order Terms.
Arch. Formal Proofs
Lars Hupel
2019 J jnl
Certifying Dictionary Construction in Isabelle/HOL.
Fundam. Informaticae
Lars Hupel
2019 — —
Verified Code Generation from Isabelle/HOL.
Lars Hupel
2018 A conf
A Verified Compiler from Isabelle/HOL to CakeML.
ESOP
Lars Hupel, Tobias Nipkow
2018 J jnl
CakeML.
Arch. Formal Proofs
Lars Hupel
2018 J jnl
Deriving generic class instances for datatypes.
Arch. Formal Proofs
Jonas Rädle, Lars Hupel
2018 J jnl
Verified iptables Firewall Analysis and Verification.
J. Autom. Reason.
Cornelius Diekmann, Lars Hupel, Julius Michaelis, Max W. Haslbeck, Georg Carle
2017 J jnl
Constructor Functions.
Arch. Formal Proofs
Lars Hupel
2017 J jnl
Dictionary Construction.
Arch. Formal Proofs
Lars Hupel
2017 J jnl
Lazifying case constants.
Arch. Formal Proofs
Lars Hupel
2016 J jnl
Algorithms for Reduced Ordered Binary Decision Diagrams.
Arch. Formal Proofs
Julius Michaelis, Max W. Haslbeck, Peter Lammich, Lars Hupel
2016 J jnl
IP Addresses.
Arch. Formal Proofs
Cornelius Diekmann, Julius Michaelis, Lars Hupel
2016 J jnl
Iptables_Semantics.
Arch. Formal Proofs
Cornelius Diekmann, Lars Hupel
2016 J jnl
Semantics-Preserving Simplification of Real-World Firewall Rule Sets.
CoRR
Cornelius Diekmann, Lars Hupel, Georg Carle
2016 A conf
Translating Scala Programs to Isabelle/HOL - System Description.
IJCAR
Lars Hupel, Viktor Kuncak
2016 J jnl
Translating Scala Programs to Isabelle/HOL.
CoRR
Lars Hupel, Viktor Kuncak
2015 B conf
Semantics-Preserving Simplification of Real-World Firewall Rule Sets.
FM
Cornelius Diekmann, Lars Hupel, Georg Carle
2014 — conf
Directed Security Policies: A Stateful Network Implementation.
ESSS
Cornelius Diekmann, Lars Hupel, Georg Carle
2014 C conf
Experience report: the next 1100 Haskell programmers.
Haskell
Jasmin Christian Blanchette, Lars Hupel, Tobias Nipkow, Lars Noschinski, Dmitriy Traytel
2014 C conf
Interactive Simplifier Tracing and Debugging in Isabelle.
CICM
Lars Hupel
2014 J jnl
Interactive Simplifier Tracing and Debugging in Isabelle.
CoRR
Lars Hupel
2014 J jnl
Properties of Random Graphs - Subgraph Containment.
Arch. Formal Proofs
Lars Hupel