Font size: Αα Αα Αα hide gadgets
You are here: Defenses » July 2017 » Myrto Galenianou Anonymously browsing from at 03:19:22, 26-09-2017. login
download defense details: { pdf }

MSc thesis defense presentation

Myrto Galenianou defends her MSc thesis.

Date: Friday, 28 Jul 2017
Time: 13:00
Location: School of Electrical and Computer Engineering (old buildings), 1.1.31
Thesis title: Federated Consensus Protocols

Thesis abstract

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.


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 – 2017 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.