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

Image document

AMECOS: A Modular Event-based Framework for Concurrent Object Specification

Timothé Albouy , Antonio Fernández Anta , Chryssis Georgiou , Mathieu Gestin , Nicolas Nicolaou et 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-04577664 v2
Image document

Near-Optimal Communication Byzantine Reliable Broadcast Under a Message Adversary

Timothé Albouy , Davide Frey , Ran Gelles , Carmit Hazay , Michel Raynal et 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-04880388 v1
Image document

Brief Announcement: Towards Optimal Communication Byzantine Reliable Broadcast Under a Message Adversary

Timothé Albouy , Davide Frey , Ran Gelles , Carmit Hazay , Michel Raynal et 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-04889285 v1
Image document

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. ⟨10.4230/LIPIcs.DISC.2022.4⟩
Communication dans un congrès hal-03791921 v1
Image document

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-03906141 v1

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-03515541 v1