Leander Jehl

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 26

Top Topics

Formal Verification

Efficient Storage

Fault Tolerance

Top Venues

Publications

Arian Baloochestani, Hanish Gogada, Leander Jehl, Hein Meling
Iniva: Inclusive and Incentive-compatible Vote Aggregation. CoRR (2024)
Lennart Almstedt, Kai Bleeke, Mohammad Mahhouk, Leander Jehl, Rüdiger Kapitza, Lars C. Wolf
ContractBox: Realizing accountable data sharing on the edge using a small scale blockchain. Comput. Networks 229 (2023)
Christian Berger, Signe Schwarz-Rüsch, Arne Vogel, Kai Bleeke, Leander Jehl, Hans P. Reiser, Rüdiger Kapitza
SoK: Scalability Techniques for BFT Consensus. CoRR (2023)
Hanish Gogada, John Ingve Olsen, Hein Meling, Leander Jehl
An Extensible Framework for Implementing Byzantine Fault-Tolerant Protocols. SAC (2023)
Hanish Gogada, Hein Meling, Leander Jehl, John Ingve Olsen
An Extensible Framework for Implementing and Validating Byzantine Fault-Tolerant Protocols. ApPLIED@PODC (2023)
Christian Berger, Signe Schwarz-Rüsch, Arne Vogel, Kai Bleeke, Leander Jehl, Hans P. Reiser, Rüdiger Kapitza
SoK: Scalability Techniques for BFT Consensus. ICBC (2023)
Arian Baloochestani, Leander Jehl
Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis. BRAINS (2023)
Vahid Heidaripour Lakhani, Leander Jehl, Georgy Ishmaev, Vero Estrada-Galiñanes
Tit-for-Token: fair rewards for moving data in decentralized storage networks. CoRR (2023)
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, Matthias Müller, Leander Jehl, Rüdiger Kapitza
ZugChain: Blockchain-Based Juridical Data Recording in Railway Systems. DSN (2022)
Vahid Heidaripour Lakhani, Leander Jehl, Rinke Hendriksen, Vero Estrada-Galiñanes
Fair Incentivization of Bandwidth Sharing in Decentralized Storage Networks. CoRR (2022)
Ines Messadi, Markus Horst Becker, Kai Bleeke, Leander Jehl, Sonia Ben Mokhtar, Rüdiger Kapitza
SplitBFT: Improving Byzantine Fault Tolerance Safety Using Trusted Compartments. CoRR (2022)
Arian Baloochestani, Leander Jehl, Hein Meling
Rebop: Reputation-Based Incentives in Committee-Based Blockchains. DAIS (2022)
Ines Messadi, Markus Horst Becker, Kai Bleeke, Leander Jehl, Sonia Ben Mokhtar, Rüdiger Kapitza
SplitBFT: Improving Byzantine Fault Tolerance Safety Using Trusted Compartments. Middleware (2022)
Rodrigo Q. Saramago, Hein Meling, Leander Jehl
A Privacy-Preserving and Transparent Certification System for Digital Credentials. OPODIS (2022)
Vahid Heidaripour Lakhani, Leander Jehl, Rinke Hendriksen, Vero Estrada-Galiñanes
Fair Incentivization of Bandwidth Sharing in Decentralized Storage Networks. ICDCS Workshops (2022)
Signe Schwarz-Rüsch, Michael Behlendorf, Markus Horst Becker, René Kudlek, Hesham Hosney Elsayed Mohamed, Felix Schoenitz, Leander Jehl, Rüdiger Kapitza
EventChain: a blockchain framework for secure, privacy-preserving event verification. Middleware (2022)
Rodrigo Q. Saramago, Leander Jehl, Hein Meling, Vero Estrada-Galiñanes
A Tree-based Construction for Verifiable Diplomas with Issuer Transparency. DAPPS (2021)
Leander Jehl
Formal Verification of HotStuff. FORTE (2021)
Rodrigo Q. Saramago, Leander Jehl, Hein Meling, Vero Estrada-Galiñanes
A Tree-based Construction for Verifiable Diplomas with Issuer Transparency. CoRR (2021)
Leander Jehl
Quorum Selection for Byzantine Fault Tolerance. ICDCS (2019)
Racin Nygaard, Hein Meling, Leander Jehl
Distributed storage system based on permissioned blockchain. SAC (2019)
Vero Estrada-Galiñanes, Racin Nygaard, Viktor Trón, Rodrigo Q. Saramago, Leander Jehl, Hein Meling
[Invited talk] Building a Disaster-resilient Storage Layer for Next Generation Networks: The Role of Redundancy. CoRR (2019)
Sebastian Pedersen, Hein Meling, Leander Jehl
An Analysis of Quorum-based Abstractions: A Case Study using Gorums to Implement Raft. ApPLIED@PODC (2018)
Tormod Erevik Lea, Leander Jehl, Hein Meling
Towards New Abstractions for Implementing Quorum-Based Systems. ICDCS (2017)
Ruijing Hu, Leander Jehl
Reliable Probabilistic Gossip over Large-Scale Random Topologies. CoRR (2017)
Leander Jehl, Hein Meling
The Case for Reconfiguration without Consensus: Comparing Algorithms for Atomic Storage. OPODIS (2016)
Leander Jehl, Roman Vitenberg, Hein Meling
SmartMerge: A New Approach to Reconfiguration for Atomic Storage. DISC (2015)
Leander Jehl, Tormod Erevik Lea, Hein Meling
Replacement: Decentralized Failure Handling for Replicated State Machines. SRDS (2015)
Leander Jehl, Hein Meling
Asynchronous Reconfiguration for Paxos State Machines. ICDCN (2014)
Leander Jehl, Tormod Erevik Lea, Hein Meling
Replacement - Handling Failures in a Replicated State Machine. DISC (2014)
Hein Meling, Leander Jehl
Tutorial Summary: Paxos Explained from Scratch. OPODIS (2013)
Leander Jehl, Hein Meling
Towards Fast and Efficient Failure Handling for Paxos State Machines. ICDCS Workshops (2013)
Leander Jehl, Hein Meling
Towards Byzantine fault tolerant publish/subscribe: a state machine approach. HotDep (2013)