Timothé Albouy

Présentation

Timothé Albouy est un chercheur en informatique, spécialisé dans le calcul réparti. Il a obtenu son doctorat en 2024 à l'Université de Rennes. Ses domaines de recherche sont la sécurité informatique, les algorithmes distribués, et les méthodes formelles appliquées aux systèmes complexes.

Publications

Communication dans un congrès (7)

AMECOS: A Modular Event-based Framework for Concurrent Object Specification Timothé Albouy,Antonio Fernández Anta,Chryssis Georgiou,Mathieu Gestin,Nicolas Nicolaouet al. OPODIS 2024 - 28th International Conference on Principles of Distributed Systems, Dec 2024, Lucques, Italy. ⟨10.4230/LIPIcs.OPODIS.2024.4⟩ Communication dans un congrès hal-04577664v2
Contention-Aware Cooperation Timothé Albouy,Davide Frey,Mathieu Gestin,Michel Raynal,François Taïani OPODIS 2025 - 29th International Conference On Principles Of Distributed Systems, Dec 2025, Iasi, Romania. pp.9:1-9:20, ⟨10.4230/LIPIcs.OPODIS.2025.9⟩ Communication dans un congrès hal-05456351v1
Near-Optimal Communication Byzantine Reliable Broadcast Under a Message Adversary Timothé Albouy,Davide Frey,Ran Gelles,Carmit Hazay,Michel Raynalet al. OPODIS 2024 - 28th International Conference on Principles of Distributed Systems, Dec 2024, Lucques, Italy. pp.1-29, ⟨10.4230/LIPICS.OPODIS.2024.14⟩ Communication dans un congrès hal-04880388v1
Brief Announcement: Towards Optimal Communication Byzantine Reliable Broadcast Under a Message Adversary Timothé Albouy,Davide Frey,Ran Gelles,Carmit Hazay,Michel Raynalet al. DISC 2024 - 38th International Symposium on Distributed Computing, Oct 2024, Madrid, Spain. pp.1-7, ⟨10.4230/LIPIcs.DISC.2024.41⟩ Communication dans un congrès hal-04889285v1
Good-case Early-Stopping Latency of Synchronous Byzantine Reliable Broadcast: The Deterministic Case Timothé Albouy,Davide Frey,Michel Raynal,François Taïani DISC 2022 - 36th International Symposium on Distributed Computing, Oct 2022, Augusta, GA, United States. pp.4:1--4:22, ⟨10.4230/LIPIcs.DISC.2022.4⟩ Communication dans un congrès hal-03791921v1
A Modular Approach to Construct Signature-Free BRB Algorithms under a Message Adversary Timothé Albouy,Davide Frey,Michel Raynal,François Taïani OPODIS 2022 - 26th Conference on Principles of Distributed Systems, Dec 2022, Brussels, Belgium. pp.1-44 Communication dans un congrès hal-03906141v1
Byzantine-Tolerant Reliable Broadcast in the Presence of Silent Churn Davide Frey,Timothé Albouy,Michel Raynal,François Taïani SSS 2021 - 23rd International Symposium on Stabilizing, Safety, and Security of Distributed Systems, Nov 2021, Virtual, France. pp.21-33, ⟨10.1007/978-3-030-91081-5_2⟩ Communication dans un congrès hal-03515541v1

Pré-publication, Document de travail (3)

Asynchronous BFT Asset Transfer: Quasi-Anonymous, Light, and Consensus-Free Timothé Albouy,Emmanuelle Anceaume,Davide Frey,Mathieu Gestin,Arthur Rauchet al. 2024 Pré-publication, Document de travail hal-04578985v2
Good-case Early-Stopping Latency of Synchronous Byzantine Reliable Broadcast: The Deterministic Case (Extended Version) Timothé Albouy,Davide Frey,Michel Raynal,François Taïani 2023 Pré-publication, Document de travail hal-04017887v2
Asynchronous Byzantine Reliable Broadcast With a Message Adversary Timothé Albouy,Davide Frey,Michel Raynal,François Taïani 2022 Pré-publication, Document de travail hal-03671451v1

Article dans une revue (2)

Good-case early-stopping latency of synchronous byzantine reliable broadcast: the deterministic case Timothé Albouy,Davide Frey,Michel Raynal,François Taïani Distributed Computing, 2024, pp.1-34. ⟨10.1007/s00446-024-00464-6⟩ Article dans une revue hal-04521960v1
Asynchronous Byzantine reliable broadcast with a message adversary Timothé Albouy,Davide Frey,François Taïani,Michel Raynal Theoretical Computer Science, 2023, 978, pp.114110. ⟨10.1016/j.tcs.2023.114110⟩ Article dans une revue hal-04212154v1