| 2026 | EuroSys | OptiLog: Assigning Roles in Byzantine Consensus. | Hanish Gogada, Christian Berger, Leander Jehl, Hans P. Reiser, Hein Meling |
| 2026 | FORTE | Formal Modeling of Beefy, a Protocol for Supporting Light Clients. | Daniel O. Dirdal, Leander Jehl, Bhargav Nagaraj Bhatt, Hein Meling, Nejm Saadallah |
| 2025 | PERCOM | ImageBox: Small-Scale Blockchain-Aided Trusted Machine Learning Inference. | Lennart Almstedt, Leander Jehl, Lars C. Wolf |
| 2024 | DSN | Iniva: Inclusive and Incentive-Compatible Vote Aggregation. | Arian Baloochestani, Hanish Gogada, Leander Jehl, Hein Meling |
| 2023 | SAC | An Extensible Framework for Implementing Byzantine Fault-Tolerant Protocols. | Hanish Gogada, John Ingve Olsen, Hein Meling, Leander Jehl |
| 2022 | DAIS | Rebop: Reputation-Based Incentives in Committee-Based Blockchains. | Arian Baloochestani, Leander Jehl, Hein Meling |
| 2022 | DSN | ZugChain: Blockchain-Based Juridical Data Recording in Railway Systems. | Signe Rsch, Kai Bleeke, Ines Messadi, Stefan Schmidt, Andreas Krampf, Katharina Olze, Susanne Stahnke, Robert Schmid, Lukas Pirl, Roland Kittel, Andreas Polze, Marquart Franz, Matthias Mller, Leander Jehl, Rdiger Kapitza |
| 2022 | ICDCS | Fair Incentivization of Bandwidth Sharing in Decentralized Storage Networks. | Vahid Heidaripour Lakhani, Leander Jehl, Rinke Hendriksen, Vero Estrada-Galianes |
| 2022 | Middleware | SplitBFT: Improving Byzantine Fault Tolerance Safety Using Trusted Compartments. | Ines Messadi, Markus Horst Becker, Kai Bleeke, Leander Jehl, Sonia Ben Mokhtar, Rdiger Kapitza |
| 2022 | Middleware | EventChain: a blockchain framework for secure, privacy-preserving event verification. | Signe Schwarz-Rsch, Michael Behlendorf, Markus Horst Becker, Ren Kudlek, Hesham Hosney Elsayed Mohamed, Felix Schoenitz, Leander Jehl, Rdiger Kapitza |
| 2022 | OPODIS | A Privacy-Preserving and Transparent Certification System for Digital Credentials. | Rodrigo Q. Saramago, Hein Meling, Leander Jehl |
| 2021 | FORTE | Formal Verification of HotStuff. | Leander Jehl |
| 2019 | ICDCS | Quorum Selection for Byzantine Fault Tolerance. | Leander Jehl |
| 2019 | SAC | Distributed storage system based on permissioned blockchain. | Racin Nygaard, Hein Meling, Leander Jehl |
| 2018 | PODC | An Analysis of Quorum-based Abstractions: A Case Study using Gorums to Implement Raft. | Sebastian Pedersen, Hein Meling, Leander Jehl |
| 2017 | ICDCS | Towards New Abstractions for Implementing Quorum-Based Systems. | Tormod Erevik Lea, Leander Jehl, Hein Meling |
| 2016 | OPODIS | The Case for Reconfiguration without Consensus: Comparing Algorithms for Atomic Storage. | Leander Jehl, Hein Meling |
| 2015 | SRDS | Replacement: Decentralized Failure Handling for Replicated State Machines. | Leander Jehl, Tormod Erevik Lea, Hein Meling |
| 2014 | ICDCN | Asynchronous Reconfiguration for Paxos State Machines. | Leander Jehl, Hein Meling |
| 2013 | OPODIS | Tutorial Summary: Paxos Explained from Scratch. | Hein Meling, Leander Jehl |