Experience report: the next 1100 Haskell programmers. - Jasmin Christian Blanchette; Lars Hupel; Tobias Nipkow; Lars Noschinski; Dmitriy Traytel (Haskell, 2014)

Interactive Simplifier Tracing and Debugging in Isabelle. - Lars Hupel (CICM, 2014)

Properties of Random Graphs - Subgraph Containment. - Lars Hupel (Arch. Formal Proofs, 2014)

Directed Security Policies: A Stateful Network Implementation. - Cornelius Diekmann; Lars Hupel; Georg Carle (ESSS, 2014)

Semantics-Preserving Simplification of Real-World Firewall Rule Sets. - Cornelius Diekmann; Lars Hupel; Georg Carle (FM, 2015)

Translating Scala Programs to Isabelle/HOL - System Description. - Lars Hupel; Viktor Kuncak (IJCAR, 2016)

Iptables_Semantics. - Cornelius Diekmann; Lars Hupel (Arch. Formal Proofs, 2016)

IP Addresses. - Cornelius Diekmann; Julius Michaelis; Lars Hupel (Arch. Formal Proofs, 2016)

Algorithms for Reduced Ordered Binary Decision Diagrams. - Julius Michaelis; Max W. Haslbeck; Peter Lammich; Lars Hupel (Arch. Formal Proofs, 2016)

Translating Scala Programs to Isabelle/HOL. - Lars Hupel; Viktor Kuncak (CoRR, 2016)

Lazifying case constants. - Lars Hupel (Arch. Formal Proofs, 2017)

Constructor Functions. - Lars Hupel (Arch. Formal Proofs, 2017)

Dictionary Construction. - Lars Hupel (Arch. Formal Proofs, 2017)

A Verified Compiler from Isabelle/HOL to CakeML. - Lars Hupel; Tobias Nipkow (ESOP, 2018)

CakeML. - Lars Hupel (Arch. Formal Proofs, 2018)

Deriving generic class instances for datatypes. - Jonas Rädle; Lars Hupel (Arch. Formal Proofs, 2018)

Verified iptables Firewall Analysis and Verification. - Cornelius Diekmann; Lars Hupel; Julius Michaelis; Max W. Haslbeck; Georg Carle (J. Autom. Reason., 2018)

A Verified Compiler from Isabelle/HOL to CakeML. - Lars Hupel; Tobias Nipkow (Zenodo, 2018)

An Algebra for Higher-Order Terms. - Lars Hupel (Arch. Formal Proofs, 2019)

A Verified Code Generator from Isabelle/HOL to CakeML. - Lars Hupel (Arch. Formal Proofs, 2019)

Certifying Dictionary Construction in Isabelle/HOL. - Lars Hupel (Fundam. Informaticae, 2019)

Verified Code Generation from Isabelle/HOL. - Lars Hupel (2019)

Hello World. - Cornelius Diekmann; Lars Hupel (Arch. Formal Proofs, 2020)

How Does Post-quantum Cryptography Affect Central Bank Digital Currency? - Lars Hupel; Makan Rafiee (UbiSec, 2023)

Fixed-length vectors. - Lars Hupel (Arch. Formal Proofs, 2023)

Extending Isabelle/HOL's Code Generator with Support for the Go Programming Language. - Terru Stübinger; Lars Hupel (FM (2), 2024)

Go Code Generation for Isabelle. - Terru Stübinger; Lars Hupel (Arch. Formal Proofs, 2024)

How to Design a Public Key Infrastructure for a Central Bank Digital Currency. - Makan Rafiee; Lars Hupel (SECRYPT, 2025)

Threshold Signatures for Central Bank Digital Currencies. - Mostafa Abdelrahman; Filip Rezabek; Lars Hupel; Kilian Glas; Georg Carle (CoRR, 2025)