• Master Thesis  Open Access

      Implementation, validation and experimental evaluation of a self-stabilizing randomized Byzantine-tolerant binary consensus algorithm 

      Demetriou, Constandinos (Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2022-05-31)
      Binary 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 ...
    • Doctoral Thesis  Open Access

      Self-stabilizing state machine replication in static and reconfigurable asynchronous message-passing systems 

      Marcoullis, Ioannis Ch. (Πανεπιστήμιο Κύπρου, Σχολή Θετικών και Εφαρμοσμένων Επιστημών / University of Cyprus, Faculty of Pure and Applied Sciences, 2018-07)
      Η μέθοδος Αναπαραγωγής Μηχανής Καταστάσεων (ΑΜΚ) (state machine replication) στον κατανεμημένο υπολογισμό είναι θεμελιώδης στη χρήση πλεονασμού πόρων για την επίτευξη ανοχής σφαλμάτων. Στοχεύει στη συνεχή διατήρηση της ...