FARINA Giovanni

Tiến sĩ
Nhóm nghiên cứu : NPA
Ngày đi : 12/21/2020
https://lip6.fr/Giovanni.Farina

Ban lãnh đạo nghiên cứu : Sébastien TIXEUIL, Silvia BONOMI

Tractable reliable communication in dynamic compromised network

Reliable communication is a fundamental primitive in distributed systems prone to Byzantine (i.e. arbitrary, and possibly malicious) failures to guarantee integrity, delivery, and authorship of messages exchanged between processes. Its practical adoption strongly depends on the system assumptions. Several solutions have been proposed so far in the literature implementing such a primitive, but some lack of scalability and/or demands topological network conditions computationally hard to be verified.
This thesis aims to investigate and address some of the open problems and challenges implementing such a communication primitive. Specifically, we analyze how a reliable communication primitive can be implemented in 1) a static distributed system where a subset of processes is compromised, 2) a dynamic distributed system where part of the processes is Byzantine faulty, and 3) a static distributed system where every process can be compromised and recover.
We define several more efficient protocols and we characterize alternative network conditions guaranteeing their correctness.

Bảo vệ luận án : 12/21/2020

Hội đồng giám khảo :

M. Xavier Défago (Tokyo Institute of Technology, Tokyo) [Rapporteur]
M. Roy Friedman (Technion - Israel Institute of Technology, Israël) [Rapporteur]
Pierre Sens (LIP6, Sorbonne Université)
M. Luca Becchetti (DIAG, Sapienza Università di Roma)
Mme. Maria Potop-Butucaru (LIP6, Sorbonne Université)
M. Andrea Vitaletti (DIAG, Sapienza Università di Roma)
Mme. Silvia Bonomi (DIAG, Sapienza Università di Roma)
M. Sébastien Tixeuil (LIP6, Sorbonne Université)

Ngày đi : 12/21/2020

Bài báo khoa học 2017-2023

Mentions légales
Sơ đồ site