Show simple item record

dc.contributor.advisorGeorgiou, Chryssisen
dc.contributor.authorDemetriou, Constandinosen
dc.coverage.spatialCyprusen
dc.creatorDemetriou, Constandinosen
dc.date.accessioned2022-06-03T09:38:40Z
dc.date.available2022-06-03T09:38:40Z
dc.date.issued2022-05-31
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/65254en
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.language.isoengen
dc.publisherΠανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences
dc.rightsCC0 1.0 Universal*
dc.rightsinfo:eu-repo/semantics/openAccessen
dc.rightsOpen Accessen
dc.rights.urihttp://creativecommons.org/publicdomain/zero/1.0/*
dc.titleImplementation, validation and experimental evaluation of a self-stabilizing randomized Byzantine-tolerant binary consensus algorithmen
dc.typeinfo:eu-repo/semantics/masterThesisen
dc.contributor.committeememberMarcoullis, Ioannisen
dc.contributor.committeememberPhilippou, Annaen
dc.contributor.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.subject.uncontrolledtermDISTRIBUTED SYSTEMSen
dc.subject.uncontrolledtermBINARY CONSENSUSen
dc.subject.uncontrolledtermSELF-STABILIZATIONen
dc.subject.uncontrolledtermBYZANTINE FAULT-TOLERANCEen
dc.subject.uncontrolledtermRANDOMIZATIONen
dc.author.facultyΣχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences
dc.author.departmentΤμήμα Πληροφορικής / Department of Computer Science
dc.type.uhtypeMaster Thesisen
dc.contributor.orcidGeorgiou, Chryssis [0000-0003-4360-0260]


Files in this item

Thumbnail
Thumbnail

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