Font size: Αα Αα Αα hide gadgets
You are here: Theses » MSc » Myrto Galenianou Anonymously browsing from at 01:01:41, 24-05-2019. login

MSc thesis of Myrto Galenianou

Federated Consensus Protocols

Supervisor: Aggelos Kiayias

This dissertation studies consensus protocols and specifically Raft and the Stellar Consensus protocol. We first define the execution model under which we study the protocols as well as the notion of a robust transaction ledger that we want the protocols to maintain and its properties. We proceed by presenting Raft as concrete algorithm and we prove that indeed Raft maintains a robust transaction ledger. We then move to the Stellar Consensus protocol and analyse federated voting, Stellar’s mean to reach consensus. Subsequently, we present the two protocols that constitute the Stellar Consensus protocol, the Nomination and Ballot protocol, as concrete algorithms and further explore their properties. Finally, we show that the Ballot protocol has both persistence and liveness, the two necessary properties a protocol need to have to maintain a robust transaction ledger.

Defended: July 28, 2017.

Scientific committee


Download thesis.


Page updates

No recent updates.

Feeds RSS and Atom feeds

all posts RSS
news RSS
announcements RSS
website news RSS
all events RSS
defenses RSS
exams RSS
seminars RSS
graduations RSS
Web standards: XHTML1.0, CSS3.
© 1996 – 2019 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.