A remarkable interest in the Internet of Things (IoT)-based smart cities from both academia
and industry has been observed in recent years. Smart cities can offer various smart …

The core technical component of blockchains is consensus: how to reach agreement among
a distributed network of nodes. A plethora of blockchain consensus protocols have been …

The blockchain initially gained traction in 2008 as the technology underlying bitcoin, but now
has been employed in a diverse range of applications and created a global market worth …

Blockchain systems have received much attention and promise to revolutionize many
services. Yet, despite their popularity, current blockchain systems exist in isolation, that is …

Atomic multicast is an important building block in the architecture of scalable and highly
available services. Atomic multicast reliably propagates and orders messages addressed to …

Classic state machine replication (SMR) does not scale well, since each replica must
execute every command. To address this problem, several systems have investigated the …

Designing blockchain architecture is still an open question and encounters a lot of
challenges such as scalability, security, high utilization and so on. In this paper, we propose …

The rise of worldwide Internet-scale services demands large distributed systems. Indeed,
when handling several millions of users, it is common to operate thousands of servers …

In recent years, cloud is being widely used to host numerous distributed applications. The
expanding usage of cloud has introduced greater sensitivity in the environment. Therefore …

Linearizability is a well-known correctness property for concurrent and distributed systems.
In the past, it was also used to prove the design and implementation of replicated state …