Towards Byzantine fault tolerant publish/subscribe: a state machine approach. - Leander Jehl; Hein Meling (HotDep, 2013)

Towards Fast and Efficient Failure Handling for Paxos State Machines. - Leander Jehl; Hein Meling (ICDCS Workshops, 2013)

Tutorial Summary: Paxos Explained from Scratch. - Hein Meling; Leander Jehl (OPODIS, 2013)

Asynchronous Reconfiguration for Paxos State Machines. - Leander Jehl; Hein Meling (ICDCN, 2014)

Replacement - Handling Failures in a Replicated State Machine. - Leander Jehl; Tormod Erevik Lea; Hein Meling (DISC, 2014)

Replacement: Decentralized Failure Handling for Replicated State Machines. - Leander Jehl; Tormod Erevik Lea; Hein Meling (SRDS, 2015)

SmartMerge: A New Approach to Reconfiguration for Atomic Storage. - Leander Jehl; Roman Vitenberg; Hein Meling (DISC, 2015)

The Case for Reconfiguration without Consensus: Comparing Algorithms for Atomic Storage. - Leander Jehl; Hein Meling (OPODIS, 2016)

Towards New Abstractions for Implementing Quorum-Based Systems. - Tormod Erevik Lea; Leander Jehl; Hein Meling (ICDCS, 2017)

Reliable Probabilistic Gossip over Large-Scale Random Topologies. - Ruijing Hu; Leander Jehl (CoRR, 2017)

An Analysis of Quorum-based Abstractions: A Case Study using Gorums to Implement Raft. - Sebastian Pedersen; Hein Meling; Leander Jehl (ApPLIED@PODC, 2018)

Quorum Selection for Byzantine Fault Tolerance. - Leander Jehl (ICDCS, 2019)

Distributed storage system based on permissioned blockchain. - Racin Nygaard; Hein Meling; Leander Jehl (SAC, 2019)

[Invited talk] Building a Disaster-resilient Storage Layer for Next Generation Networks: The Role of Redundancy. - Vero Estrada-Galiñanes; Racin Nygaard; Viktor Trón; Rodrigo Q. Saramago; Leander Jehl; Hein Meling (CoRR, 2019)

A Tree-based Construction for Verifiable Diplomas with Issuer Transparency. - Rodrigo Q. Saramago; Leander Jehl; Hein Meling; Vero Estrada-Galiñanes (DAPPS, 2021)

Formal Verification of HotStuff. - Leander Jehl (FORTE, 2021)

Rebop: Reputation-Based Incentives in Committee-Based Blockchains. - Arian Baloochestani; Leander Jehl; Hein Meling (DAIS, 2022)

ZugChain: Blockchain-Based Juridical Data Recording in Railway Systems. - Signe Rüsch; Kai Bleeke; Ines Messadi; Stefan Schmidt; Andreas Krampf; Katharina Olze; Susanne Stahnke; Robert Schmid; Lukas Pirl; Roland Kittel; Andreas Polze; Marquart Franz; et al. (DSN, 2022)

Fair Incentivization of Bandwidth Sharing in Decentralized Storage Networks. - Vahid Heidaripour Lakhani; Leander Jehl; Rinke Hendriksen; Vero Estrada-Galiñanes (ICDCS Workshops, 2022)

SplitBFT: Improving Byzantine Fault Tolerance Safety Using Trusted Compartments. - Ines Messadi; Markus Horst Becker; Kai Bleeke; Leander Jehl; Sonia Ben Mokhtar; Rüdiger Kapitza (Middleware, 2022)

EventChain: a blockchain framework for secure, privacy-preserving event verification. - Signe Schwarz-Rüsch; Michael Behlendorf; Markus Horst Becker; René Kudlek; Hesham Hosney Elsayed Mohamed; Felix Schoenitz; Leander Jehl; Rüdiger Kapitza (Middleware, 2022)

A Privacy-Preserving and Transparent Certification System for Digital Credentials. - Rodrigo Q. Saramago; Hein Meling; Leander Jehl (OPODIS, 2022)

An Extensible Framework for Implementing and Validating Byzantine Fault-Tolerant Protocols. - Hanish Gogada; Hein Meling; Leander Jehl; John Ingve Olsen (ApPLIED@PODC, 2023)

Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis. - Arian Baloochestani; Leander Jehl (BRAINS, 2023)

SoK: Scalability Techniques for BFT Consensus. - Christian Berger 006; Signe Schwarz-Rüsch; Arne Vogel; Kai Bleeke; Leander Jehl; Hans P. Reiser; Rüdiger Kapitza (ICBC, 2023)

An Extensible Framework for Implementing Byzantine Fault-Tolerant Protocols. - Hanish Gogada; John Ingve Olsen; Hein Meling; Leander Jehl (SAC, 2023)

Tit-for-Token: fair rewards for moving data in decentralized storage networks. - Vahid Heidaripour Lakhani; Leander Jehl; Georgy Ishmaev; Vero Estrada-Galiñanes (CoRR, 2023)

ContractBox: Realizing accountable data sharing on the edge using a small scale blockchain. - Lennart Almstedt; Kai Bleeke; Mohammad Mahhouk; Leander Jehl; Rüdiger Kapitza; Lars C. Wolf (Comput. Networks, 2023)

Iniva: Inclusive and Incentive-Compatible Vote Aggregation. - Arian Baloochestani; Hanish Gogada; Leander Jehl; Hein Meling (DSN, 2024)

Altruism, reciprocity, and tokens to reward forwarding data: Is that fair? - Vahid Heidaripour Lakhani; Arman Babaei; Leander Jehl; Georgy Ishmaev; Vero Estrada-Galiñanes (ICBC, 2024)

ImageBox: Small-Scale Blockchain-Aided Trusted Machine Learning Inference. - Lennart Almstedt; Leander Jehl; Lars C. Wolf (PerCom Workshops, 2025)

Decentralization trends in identity management: From federated to Self-Sovereign Identity Management Systems. - Praveensankar Manimaran; Thiago Garrett; Leander Jehl; Roman Vitenberg (Comput. Sci. Rev., 2025)

SmartLog: Metrics-driven Role Assignment for Byzantine Fault-tolerant Protocols. - Hanish Gogada; Christian Berger 006; Leander Jehl; Hans P. Reiser; Hein Meling (CoRR, 2025)

Balancing incentives in committee-based blockchains. - Arian Baloochestani; Leander Jehl (CoRR, 2025)