Designing a secure permissionless distributed ledger (blockchain) that performs on par with
centralized payment processors, such as Visa, is a challenging task. Most existing …

Fabric is a modular and extensible open-source system for deploying and operating
permissioned blockchains and one of the Hyperledger projects hosted by the Linux …

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 …

Byzantine Fault Tolerant state machine replication (BFT) protocols are replication protocols
that tolerate arbitrary faults of a fraction of the replicas. Although significant efforts have been …

We present two asynchronous Byzantine fault-tolerant state machine replication (BFT)
algorithms, which improve previous algorithms in terms of several metrics. First, they require …

The security model relying on the traditional defense of the perimeter cannot protect modern
dynamic organizations. The emerging paradigm called zero trust proposes a modern …

Runtime verification is an area of formal methods that studies the dynamic analysis of
execution traces against formal specifications. Typically, the two main activities in runtime …

This paper presents Basil, the first transactional, leaderless Byzantine Fault Tolerant key-
value store. Basil leverages ACID transactions to scalably implement the abstraction of a …

The inception of Bitcoin as a peer-to-peer payment system, and its underlying blockchain
data-structure and protocol, has led to an increased interest in deploying scalable and …

This paper presents Scalar DL, a Byzantine fault detection (BFD) middleware for
transactional database systems. Scalar DL manages two separately administered database …