Timothé Albouy

12
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

Deposit thumbnail

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-04577664v2
Deposit thumbnail

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
Deposit thumbnail

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-04880388v1
Deposit thumbnail

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-04889285v1
Deposit thumbnail

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
Deposit thumbnail

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