The Internet has led to the creation of a digital society, where (almost) everything is
connected and is accessible from anywhere. However, despite their widespread adoption …

Resilience curves are used to communicate quantitative and qualitative aspects of system
behavior and resilience to stakeholders of critical infrastructure. Generally, these curves …

Software-defined networking empowers network operators with more flexibility to program
their networks. With SDN, network management moves from codifying functionality in terms …

The development of a trustworthy smart grid requires a deeper understanding of potential
impacts resulting from successful cyber attacks. Estimating feasible attack impact requires …

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 …

Internet-of-Things (IoT) ecosystems tend to grow both in scale and complexity, as they
consist of a variety of heterogeneous devices that span over multiple architectural IoT layers …

Software aging is a phenomenon plaguing many long-running complex software systems,
which exhibit performance degradation or an increasing failure rate. Several strategies …

Byzantine fault-tolerant (BFT) state-machine replication makes it possible to design systems
that are resilient against arbitrary faults, a requirement considered crucial for an increasing …

This paper studies dynamic BFT, where replicas can join and leave the system dynamically,
a primitive that is nowadays increasingly needed. We provide a formal treatment for dynamic …

Byzantine Fault-Tolerant (BFT) State Machine Replication (SMR) is a classical paradigm for
implementing trustworthy services that has received renewed interest with the emergence of …