Font size: Αα Αα Αα hide gadgets
You are here: Defenses » Ιούλιος 2017 » Μυρτώ Γαλενιανού
download defense details: { pdf }

MSc thesis defense presentation

Μυρτώ Γαλενιανού defends her MSc thesis.

Date: Παρασκευή, 28 Ιούλ 2017
Ώρα: 13:00
Location: Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, ΕΜΠ (παλαιά κτήρια), 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.


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