Leander Jehl

According to our database, Leander Jehl authored at least 30 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2024

Iniva: Inclusive and Incentive-Compatible Vote Aggregation.

Arian Baloochestani, Hanish Gogada, Leander Jehl, Hein Meling

Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024

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, June, 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

An Extensible Framework for Implementing Byzantine Fault-Tolerant Protocols.

Hanish Gogada, John Ingve Olsen, Hein Meling, Leander Jehl

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

SoK: Scalability Techniques for BFT Consensus.

Christian Berger, Signe Schwarz-Rüsch, Arne Vogel, Kai Bleeke, Leander Jehl, Hans P. Reiser, Rüdiger Kapitza

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

Eiffel: Extending Formal Verification of Distributed Algorithms to Utility Analysis.

Arian Baloochestani, Leander Jehl

Proceedings of the 5th Conference on Blockchain Research & Applications for Innovative Networks and Services, 2023

An Extensible Framework for Implementing and Validating Byzantine Fault-Tolerant Protocols.

Hanish Gogada, Hein Meling, Leander Jehl, John Ingve Olsen

Proceedings of the 5th workshop on Advanced tools, 2023

2022

A Privacy-Preserving and Transparent Certification System for Digital Credentials.

Rodrigo Q. Saramago, Hein Meling, Leander Jehl

Proceedings of the 26th International Conference on Principles of Distributed Systems, 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

Proceedings of the Middleware '22: 23rd International Middleware Conference, Quebec, QC, Canada, November 7, 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

Proceedings of the Middleware '22: 23rd International Middleware Conference, Quebec, QC, Canada, November 7, 2022

Fair Incentivization of Bandwidth Sharing in Decentralized Storage Networks.

Vahid Heidaripour Lakhani, Leander Jehl, Rinke Hendriksen, Vero Estrada-Galiñanes

Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 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, Matthias Müller, Leander Jehl, Rüdiger Kapitza

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

Rebop: Reputation-Based Incentives in Committee-Based Blockchains.

Arian Baloochestani, Leander Jehl, Hein Meling

Proceedings of the Distributed Applications and Interoperable Systems: 22nd IFIP WG 6.1 International Conference, 2022

2021

Formal Verification of HotStuff.

Leander Jehl

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

A Tree-based Construction for Verifiable Diplomas with Issuer Transparency.

Rodrigo Q. Saramago, Leander Jehl, Hein Meling, Vero Estrada-Galiñanes

Proceedings of the IEEE International Conference on Decentralized Applications and Infrastructures, 2021

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

Distributed storage system based on permissioned blockchain.

Racin Nygaard, Hein Meling, Leander Jehl

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Quorum Selection for Byzantine Fault Tolerance.

Leander Jehl

Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019

2018

An Analysis of Quorum-based Abstractions: A Case Study using Gorums to Implement Raft.

Sebastian Pedersen, Hein Meling, Leander Jehl

Proceedings of the 2018 Workshop on Advanced Tools, 2018

2017

Reliable Probabilistic Gossip over Large-Scale Random Topologies.

Ruijing Hu, Leander Jehl

CoRR, 2017

Towards New Abstractions for Implementing Quorum-Based Systems.

Tormod Erevik Lea, Leander Jehl, Hein Meling

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

2016

The Case for Reconfiguration without Consensus: Comparing Algorithms for Atomic Storage.

Leander Jehl, Hein Meling

Proceedings of the 20th International Conference on Principles of Distributed Systems, 2016

2015

SmartMerge: A New Approach to Reconfiguration for Atomic Storage.

Leander Jehl, Roman Vitenberg, Hein Meling

Proceedings of the Distributed Computing - 29th International Symposium, 2015

Replacement: Decentralized Failure Handling for Replicated State Machines.

Leander Jehl, Tormod Erevik Lea, Hein Meling

Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

2014

Replacement - Handling Failures in a Replicated State Machine.

Leander Jehl, Tormod Erevik Lea, Hein Meling

Proceedings of the Distributed Computing - 28th International Symposium, 2014

Asynchronous Reconfiguration for Paxos State Machines.

Leander Jehl, Hein Meling

Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014

2013

Tutorial Summary: Paxos Explained from Scratch.

Hein Meling, Leander Jehl

Proceedings of the Principles of Distributed Systems - 17th International Conference, 2013

Towards Fast and Efficient Failure Handling for Paxos State Machines.

Leander Jehl, Hein Meling

Proceedings of the 33rd International Conference on Distributed Computing Systems Workshops (ICDCS 2013 Workshops), 2013

Towards Byzantine fault tolerant publish/subscribe: a state machine approach.

Leander Jehl, Hein Meling

Proceedings of the 9th Workshop on Hot Topics in Dependable Systems, 2013