
Timothé Albouy
11
Documents
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
Publications
|
AMECOS: A Modular Event-based Framework for Concurrent Object SpecificationOPODIS 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-04577664
v2
|
|
Near-Optimal Communication Byzantine Reliable Broadcast Under a Message AdversaryOPODIS 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-04880388
v1
|
|
Brief Announcement: Towards Optimal Communication Byzantine Reliable Broadcast Under a Message AdversaryDISC 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-04889285
v1
|
|
Good-case Early-Stopping Latency of Synchronous Byzantine Reliable Broadcast: The Deterministic CaseDISC 2022 - 36th International Symposium on Distributed Computing, Oct 2022, Augusta, GA, United States. ⟨10.4230/LIPIcs.DISC.2022.4⟩
Communication dans un congrès
hal-03791921
v1
|
|
A Modular Approach to Construct Signature-Free BRB Algorithms under a Message AdversaryOPODIS 2022 - 26th Conference on Principles of Distributed Systems, Dec 2022, Brussels, Belgium. pp.1-44
Communication dans un congrès
hal-03906141
v1
|
Byzantine-Tolerant Reliable Broadcast in the Presence of Silent ChurnSSS 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-03515541
v1
|
|
Asynchronous BFT Asset Transfer: Quasi-Anonymous, Light, and Consensus-Free2024
Pré-publication, Document de travail
hal-04578985
v2
|
|
Good-case Early-Stopping Latency of Synchronous Byzantine Reliable Broadcast: The Deterministic Case (Extended Version)2023
Pré-publication, Document de travail
hal-04017887
v2
|
|
Asynchronous Byzantine Reliable Broadcast With a Message Adversary2022
Pré-publication, Document de travail
hal-03671451
v1
|
|
Good-case early-stopping latency of synchronous byzantine reliable broadcast: the deterministic caseDistributed Computing, 2024, pp.1-34. ⟨10.1007/s00446-024-00464-6⟩
Article dans une revue
hal-04521960
v1
|
|
Asynchronous Byzantine reliable broadcast with a message adversaryTheoretical Computer Science, 2023, 978, pp.114110. ⟨10.1016/j.tcs.2023.114110⟩
Article dans une revue
hal-04212154
v1
|
Chargement...
Chargement...