Blockchain technology has been ushering in nothing short of a decentralized revolution.
Distributed/decentralized energy is recognized the best way to ensure energy sustainability …

Managing the integrity of products and processes in a multi-stakeholder supply chain
environment is a significant challenge. Many current solutions suffer from data …

Tendermint is a new protocol for ordering events in a distributed network under adversarial
conditions. More commonly known as consensus or atomic broadcast, the problem has …

Consensus is one of the key problems in blockchains. There are many articles analyzing the
performance of threat models for blockchains. But the network stability seems lack of …

Raft is a consensus algorithm for managing a replicated log. It produces a result equivalent
to (multi-) Paxos, and it is as efficient as Paxos, but its structure is different from Paxos; this …

Distributed systems are notorious for harboring subtle bugs. Verification can, in principle,
eliminate these bugs a priori, but verification has historically been difficult to apply at full …

Distributed systems are difficult to implement correctly because they must handle both
concurrency and failures: machines may crash at arbitrary points and networks may reorder …

We present the first formal verification of state machine safety for the Raft consensus
protocol, a critical component of many distributed systems. We connected our proof to …

As the size of data is increasing exponentially, its security is a major concern. Emerging
technology like blockchain is used to provide security to systems. Since the inception of …

This paper presents the first critical analysis of building highly secure, performant, and
confidential Byzantine fault-tolerant (BFT) consensus by integrating off-the-shelf crash fault …