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 …

Electric power grid infrastructure has revolutionized our world and changed the way of living.
So has blockchain technology. The hierarchical electric power grid has been shifting from a …

The ubiquitous nature of a connected health system imposes challenges with regard to the
design of system architecture, security, and privacy. Different from traditional centralized …

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 …

Abstract Development of formal proofs of correctness of programs can increase actual and
perceived reliability and facilitate better understanding of program specifications and their …

Distributed systems are notoriously hard to implement correctly due to non-determinism.
Finding the inductive invariant of the distributed protocol is a critical step in verifying the …

Distributed systems are complex and difficult to build correctly. Formal verification can
provably rule out bugs in such systems, but finding an inductive invariant that implies the …

Blockchain is a disruptive technology that relies on the distributed nature of the peer-to-peer
network while performing an agreement, or consensus, a mechanism to achieve an …

Renewable energy sources are becoming increasingly important as a substitute for fossil
energy production. However, distributed renewable energy production faces several …

Distributed systems play a crucial role in modern infrastructure, but are notoriously difficult to
implement correctly. This difficulty arises from two main challenges:(a) correctly …