Lars Hupel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2014–2025
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ESORICS | Threshold Signatures for Central Bank Digital Currencies. | Mostafa Abdelrahman, Filip Rezabek, Lars Hupel, Kilian Glas, Georg Carle |
| 2025 | SECRYPT | How to Design a Public Key Infrastructure for a Central Bank Digital Currency. | Makan Rafiee, Lars Hupel |
| 2024 | FM | Extending Isabelle/HOL's Code Generator with Support for the Go Programming Language. | Terru Stbinger, Lars Hupel |
| 2018 | ESOP | A Verified Compiler from Isabelle/HOL to CakeML. | Lars Hupel, Tobias Nipkow |
| 2016 | CADE | Translating Scala Programs to Isabelle/HOL - System Description. | Lars Hupel, Viktor Kuncak |
| 2015 | FM | Semantics-Preserving Simplification of Real-World Firewall Rule Sets. | Cornelius Diekmann, Lars Hupel, Georg Carle |
| 2014 | HASKELL | Experience report: the next 1100 Haskell programmers. | Jasmin Christian Blanchette, Lars Hupel, Tobias Nipkow, Lars Noschinski, Dmitriy Traytel |