mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Defenses » July 2017 » Myrto Galenianou
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
Committee:

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.

Reporter

Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.