Concurrency Testing of PBFT: How do different exploration strategies perform for detecting concurrency bugs in PBFT?

Consensus algorithms, as well as distributed systems in general, are vulnerable to concurrency bugs due to non-determinism. Such bugs are hard to detect since it is necessary to test using a lot of different scenarios and even then, there is no guarantee to find one. <br/><br/>Controlled concurrency testing is a proposed solution to that problem...

Approaching Message Optimal Byzantine Reliable Broadcast using Routing

In this paper we will consider the Byzantine Reliable Broadcast problem on partially connected net- works. We introduce an routing algorithm for networks with a known topology. It will show that when this is combined with cryptographic signatures, we can use the routing algorithm to create an optimal amount of messages. We will introduce a few...

Byzantine-Resilient Real-Time Reliable Broadcast on Partially Connected Topology Cases

Increasing digitalisation of society due to technical advancement has increased the appearance and size of cyber- physical systems. These systems require real-time reliable control, which comes with its challenges. These systems need reliable communication despite the presence of attacks or faulty processes and bad connections, which can disrupt...

Byzantine Reliable Broadcast on partially connected networks with signatures

In this paper, we consider Byzantine reliable broadcast on partially connected networks using signatures. Byzantine reliable broadcast in partially connected and authenticated networks can be achieved by combining two algorithms, Gabriel Bracha's double-echo broadcast protocol and Danny Dolev's reliable communication protocol. Bracha's algorithm...

The Opencraft Messaging System

The aim of this project is to improve the scalability of the Opencraft server. The Opencraft server is based on an open-source implementation of the vanilla Minecraft server. This thesis focuses on improving the messaging system of the Opencraft server. The existing implementation of the messaging system is very basic. It went through all online...

Creating an online auctioning clock

For this project, JEM-id tasked us with creating a proof of concept of a new online auction in the form of a web application for Royal FloraHolland. JEM-id is a software company operating in the agricultural domain.<br/>The pre-existing digital auction is not available as a web application and has generated technical debt over the past twenty...