Lars Hupel - RankMe

33 papers A 2B 1C 3Journal 23Unranked 3

Year	Rank	Type	Title / 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