Université de Rennes Foundations of reliable cooperation under asynchrony, Byzantine faults, and message adversaries Fondations de la coopération fiable avec de l'asynchronie, des pannes Byzantines, et des adversaires de messages Algorithmes distribuésSystèmes asynchronesDiffusion fiableTolérance aux pannes byzantinesAdversaire de message Distributed algorithmsAsynchronous systemsReliable broadcastByzantine fault toleranceMessage adversaryMessage losses Algorithmes parallèles Tolérance aux fautes (informatique) Cette thèse se penche sur les systèmes distribués tolérants les pannes, et s'intéresse plus particulièrement au problème de la diffusion fiable dans des environnements asynchrones sujets à des défaillances hybrides. Elle introduit un nouveau modèle de calcul combinant des défaillances byzantines de processus avec un adversaire de messages. Elle définit ensuite l'abstraction de Diffusion Fiable Byzantine Tolérante aux Adversaires de Messages (MBRB) et prouve sa condition de résilience optimale. Elle propose enfin trois algorithmes clés pour réaliser cette abstraction : un algorithme MBRB simple basé sur les signatures, une nouvelle primitive appelée k2l-cast pour des implémentations MBRB sans cryptographie, et un algorithme MBRB basé sur les codes correcteurs d'erreurs optimisant la complexité de communication. Ces contributions font progresser la compréhension des systèmes distribués tolérants les pannes, et participent aux fondations nécessaires à la conception d'algorithmes répartis résilients et efficaces, avec des applications dans les infrastructures critiques, les systèmes financiers et les technologies blockchain. This thesis explores fault-tolerant distributed systems. It focuses more specifically on implementing reliable broadcast in asynchronous environments prone to hybrid failures. We introduce a novel computing model combining Byzantine process failures with a message adversary. We then define the Message-Adversary-tolerant Byzantine Reliable Broadcast (MBRB) abstraction and prove its optimal resilience condition. We present three key algorithms implementing this abstraction: a simple signature-based MBRB algorithm, a new primitive called k2l-cast for cryptography-free MBRB implementations, and an erasure-coding-based MBRB algorithm optimizing communication complexity. These contributions advance the understanding of fault-tolerant distributed systems and provide a foundation for designing resilient and efficient distributed algorithms, with applications in critical infrastructures, financial systems, and blockchain technologies. Electronic Thesis or DissertationText en application/pdf1 : 4056 Kohttps://ged.univ-rennes1.fr/nuxeo/site/esupversions/62826a16-d41b-4a00-bcc3-8281f7121774 Albouy Timothé 1998-05-07 FR 283004312 timothe.albouy@gmail.com 2024URENS062 http://www.theses.fr/2024URENS062 2024-12-16 Informatique Université de Rennesthesis.degree.grantor_1 26693823X Doctorat non ouiTaïaniFrançoisintervenant_1081430264FreyDavideintervenant_2195962060TedeschiCédricintervenant_3130900176TaïaniFrançoisintervenant_1081430264FreyDavideintervenant_2195962060Tucci-PiergiovanniSaraintervenant_4185221262MilaniAlessiaintervenant_5121379787LosaGiulianointervenant_6283004355 MATISSEecoleDoctorale_1 267602553 IRISA partenaireRecherche_1 026386909 ddc:004 TaïaniFrançoisFreyDavideTedeschiCédricTucci-PiergiovanniSaraMilaniAlessiaLosaGiulianoUniversité de RennesMATISSE IRISA ASCII PDF 4153523