Show simple item record

dc.contributor.advisorGeorgiou, Chryssisen
dc.contributor.authorDemetriou, Constandinosen
dc.creatorDemetriou, Constandinosen
dc.description.abstractBinary consensus is a problem in which a set of processors must agree on a single binary value. In asynchronous systems, where a subset of the processors may be malicious, this challenge gets more challenging. We study malicious and more serious problems in this work: transient faults. These are temporary violations of the system's operating assumptions that might cause the system's state to change unexpectedly, making recovery impossible without human intervention. We implement an existing protocol for randomized Byzantine-tolerant binary consensus algorithm that is loosely-self-stabilizing using the Go programming language and the ZeroMQ communication framework. This approach is optimal in terms of resilience and termination, requires only bounded memory, and ensures that the system will automatically converge to a legal state. This is the first time-free Byzantine-tolerant binary consensus algorithm to make such guarantees, to our knowledge. We describe the first known implementation of this algorithm in this work. With this implementation, we were able to: (a) validate the algorithm; (b) compare the algorithm to its non-stabilizing version and estimate the cost of self-stabilization in terms of processing time and message load; and (c) notice that different failures in the system (whether due to transient faults or malicious behavior) have no significant overhead on recovery and decision time.en
dc.publisherΠανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences
dc.rightsCC0 1.0 Universal*
dc.rightsOpen Accessen
dc.titleImplementation, validation and experimental evaluation of a self-stabilizing randomized Byzantine-tolerant binary consensus algorithmen
dc.contributor.committeememberMarcoullis, Ioannisen
dc.contributor.committeememberPhilippou, Annaen
dc.contributor.departmentΠανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών, Τμήμα Πληροφορικήςel
dc.contributor.departmentUniversity of Cyprus, Faculty of Pure and Applied Sciences, Department of Computer Scienceen
dc.subject.uncontrolledtermDISTRIBUTED SYSTEMSen
dc.subject.uncontrolledtermBINARY CONSENSUSen
dc.subject.uncontrolledtermBYZANTINE FAULT-TOLERANCEen
dc.subject.uncontrolledtermRANDOMIZATIONenΣχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied SciencesΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeMaster Thesisen
dc.contributor.orcidGeorgiou, Chryssis [0000-0003-4360-0260]

Files in this item


This item appears in the following Collection(s)

Show simple item record

CC0 1.0 Universal
Except where otherwise noted, this item's license is described as CC0 1.0 Universal