FARINA Giovanni

doctorant à Sorbonne Université
Équipe : NPA
https://lip6.fr/Giovanni.Farina

Direction de recherche : Sébastien TIXEUIL, Silvia BONOMI

Communication fiable et soluble dans des réseaux compromis

Une communication fiable est une primitive fondamentale dans les systèmes distribués sujets aux pannes Byzantines (c'est-à-dire arbitraires et éventuellement malveillants) pour garantir l'intégrité, l’authenticité et la livraison des messages échangés entre les processus. Son adoption pratique dépend fortement des hypothèses du système. Plusieurs solutions ont été proposées jusqu'à présent dans la littérature mettant en œuvre une telle primitive, mais certaines manquent d'évolutivité et / ou exigent des conditions de réseau topologiques difficiles à vérifier.
Cette thèse vise à étudier et à résoudre certains des problèmes et défis ouverts implémentant une telle primitive de communication. Plus précisément, nous analysons comment une primitive de communication fiable peut être implémentée dans 1) un système distribué statique où un sous-ensemble de processus est compromis, 2) un système distribué dynamique où une partie des processus est Byzantiné, et 3) un système distribué statique où chaque processus peut être compromis et récupérer.
Nous définissons plusieurs protocoles plus efficaces et nous caractérisons des conditions de réseau alternatives garantissant leur exactitude.

Soutenance : 21/12/2020

Membres du jury :

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é)

Date de départ : 21/12/2020

Publications 2017-2023