Leander Jehl

Leander Jehl
University of Stavanger (UiS) · Department of Electrical engineering and Computer science

Diplom in Mathematics

About

20
Publications
1,847
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
59
Citations

Publications

Publications (20)
Chapter
Blockchains based on proof-of-work suffer from serious drawbacks, such as high computational overhead, long confirmation time, and forks. Committee-based blockchains provide an alternative that tackles these problems. These blockchains use a committee to approve a block at each height. However, rewarding the committee for their work is challenging....
Preprint
Peer-to-peer (p2p) networks are not independent of their peers, and the network efficiency depends on peers contributing resources. Because shared resources are not free, this contribution must be rewarded. Peers across the network may share computation power, storage capacity, and bandwidth. This paper looks at how bandwidth incentive encourages p...
Preprint
Full-text available
Byzantine fault-tolerant agreement (BFT) in a partially synchronous system usually requires 3f + 1 nodes to tolerate f faulty replicas. Due to their high throughput and finality property BFT algorithms build the core of recent permissioned blockchains. As a complex and resource-demanding infrastructure, multiple cloud providers have started offerin...
Preprint
Full-text available
Still to this day, academic credentials are primarily paper-based, and the process to verify the authenticity of such documents is costly, time-consuming, and prone to human error and fraud. Digitally signed documents facilitate a cost-effective verification process. However, vulnerability to fraud remains due to reliance on centralized authorities...
Chapter
HotStuff is a recent algorithm for repeated distributed consensus used in permissioned blockchains. We present a simplified version of the HotStuff algorithm and verify its safety using both Ivy and the TLA Proof Systems tools.
Preprint
Full-text available
Blockchain is the driving force behind a myriad of decentralized applications (dapps) that promise to transform the Internet. The next generation Internet, or web3, introduces a "universal state layer" to store data in p2p networks. Swarm, a native layer of the Ethereum web3 stack, aims at providing redundant storage for dapp code, data, as well as...
Conference Paper
Full-text available
Readily available blockchain technologies allow to improve reliability and availability of existing cloud applications. This paper presents a blockchain based distributed storage system for permissioned settings. We use a blockchain to form verifiable contracts between clients and storage providers, specifying what should be stored, and when stored...
Conference Paper
Full-text available
Gorums is a novel RPC framework aimed at simplifying development of fault tolerant distributed systems. In this paper, we want to assess whether Gorums can simplify the implementation of a practical fault tolerant service that supports reconfiguration. To this end, we implemented the Raft consensus algorithm using Gorums, and show that Gorums's abs...
Article
This paper studies reliability of probabilistic neighbor-aware gossip algorithms over three well- known large-scale random topologies, namely Bernoulli (or Erd\H{o}s-R\'enyi) graph, the random geometric graph, and the scale-free graph. We propose a new and simple algorithm which ensures higher reliability at lower message complexity than the three...
Conference Paper
Full-text available
In this paper, we study reconfiguration mechanisms for atomic storage systems. We observe that the state of the art approach for reconfiguration in an asynchronous environment has several disadvantages compared to the classical consensus-based approach, which requires eventual synchrony. For example, an unfortunate combination of remove operations...
Conference Paper
This paper addresses reconfiguration of a Replicated State Machine (RSM) in an asynchronous system. It is well known that consensus cannot be solved in an asynchronous system. Therefore an RSM providing strong consistency, cannot guarantee progress in an asynchronous system. However, we show that reconfiguring the RSM is possible in a purely asynch...
Conference Paper
Full-text available
Paxos is a flexible and fault tolerant protocol for solving the consensus problem, where participants in a distributed system need to agree on a common value. However, Paxos is reputed for being difficult to understand. This tutorial aims to address this difficulty by visualizing Paxos in a completely new way. Starting from a naive solution and str...
Conference Paper
More than a decade of research has gone into techniques aimed at tolerating arbitrary failures in client/server interaction, using consensus based replication. These works made Byzantine fault tolerance possible [5], competitive [18], robust [7], and feasible to apply [6]. In this paper we establish a connection between the pub/sub interaction mode...
Conference Paper
We investigate methods for handling failures in a Paxos State Machine and introduce Live Replacement, which quickly repairs failures at a low cost. Live Replacement enables a failed or disconnected replica to be replaced with a new one, with minimal disruption. Replacement does not rely on a special state machine command, and need not be ordered wi...

Network

Cited By

Projects

Projects (2)
Project
We expect to have a fault-tolerant and trusted authentication system, that can be used to build a public/private database of digitally authenticated documents, allowing for example, that academic degree certificates can be issued and verified from any place in the world with a high degree of trust.
Project
Gorums aims to provide a flexible and simple quorum call abstraction, used to communicate with a set of processes and collect replies.