Publications

Publications HAL du projet ANR. ANR-20-CE25-0002

2024

Journal articles

titre
Good-case early-stopping latency of synchronous byzantine reliable broadcast: the deterministic case
auteur
Timothé Albouy, Davide Frey, Michel Raynal, François Taïani
article
Distributed Computing, 2024, pp.1-34. ⟨10.1007/s00446-024-00464-6⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04521960/file/main.pdf BibTex
titre
Bias Mitigation in Federated Learning for Edge Computing
auteur
Yasmine Djebrouni, Nawel Benarba, Ousmane Touat, Pasquale de Rosa, Sara Bouchenak, Angela Bonifati, Pascal Felber, Vania Marangozova, Valerio Schiavoni
article
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies , 2024, 7 (4), pp.1-35. ⟨10.1145/3631455⟩
Accès au bibtex
BibTex
titre
PASTEL: Privacy-Preserving Federated Learning in Edge Computing
auteur
Fatima Elhattab, Sara Bouchenak, Cédric Boscher
article
Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies , 2024, 7 (4), pp.1-29. ⟨10.1145/3633808⟩
Accès au bibtex
BibTex

Conference papers

titre
AMECOS: A Modular Event-based Framework for Concurrent Object Specification
auteur
Timothé Albouy, Antonio Fernández Anta, Chryssis Georgiou, Mathieu Gestin, Nicolas Nicolaou, Junlang Wang
article
OPODIS 2024 – 28th International Conference on Principles of Distributed Systems, Dec 2024, Lucques, Italy. ⟨10.4230/LIPIcs.OPODIS.2024.4⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04577664/file/main_ArxiV_2024.pdf BibTex
titre
Near-Optimal Communication Byzantine Reliable Broadcast Under a Message Adversary
auteur
Timothé Albouy, Davide Frey, Ran Gelles, Carmit Hazay, Michel Raynal, Elad Michael Schiller, François Taïani, Vassilis Zikas
article
OPODIS 2024 – 28th International Conference on Principles of Distributed Systems, Dec 2024, Lucques, Italy. ⟨10.4230/LIPICS.OPODIS.2024.14⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04880388/file/LIPIcs.OPODIS.2024.14.pdf BibTex
titre
Personalized Privacy-Preserving Federated Learning
auteur
Cédric Boscher, Nawel Benarba, Fatima Elhattab, Sara Bouchenak
article
Proceedings of the 25th International Middleware Conference, Dec 2024, Hong Kong, China. pp.454–466, ⟨10.1145/3652892.3700785⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04770214/file/Personalized%20Privacy-Preserving%20Federated%20Learning.pdf BibTex
titre
Self-Stabilizing MIS Computation in the Beeping Model
auteur
George Giakkoupis, Volker Turau, Isabella Ziccardi
article
38th International Symposium on Distributed Computing (DISC 2024), Oct 2024, Madrid, Spain. pp.28:1-28:21, ⟨10.4230/LIPIcs.DISC.2024.28⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04896494/file/2405.04266v2.pdf BibTex
titre
Brief Announcement: Towards Optimal Communication Byzantine Reliable Broadcast Under a Message Adversary
auteur
Timothé Albouy, Davide Frey, Ran Gelles, Carmit Hazay, Michel Raynal, Elad Michael Schiller, François Taïani, Vassilis Zikas
article
DISC 2024 – 38th International Symposium on Distributed Computing, Oct 2024, Madrid, Spain. pp.1-7, ⟨10.4230/LIPIcs.DISC.2024.41⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04889285/file/DISC24%20-%20BA-Coded_MBRB.pdf BibTex
titre
Naively Sorting Evolving Data is Optimal and Robust
auteur
George Giakkoupis, Marcos Kiwi, Dimitrios Los
article
FOCS 2024 – IEEE 65th Annual Symposium on Foundations of Computer Science, IEEE Computer Society, Oct 2024, Chicago, United States. pp.2217-2242, ⟨10.1109/FOCS61266.2024.00130⟩
Accès au bibtex
https://arxiv.org/pdf/2404.08162 BibTex
titre
Partition Detection in Byzantine Networks
auteur
Yérom-David Bromberg, Jérémie Decouchant, Manon Sourisseau, François Taïani
article
ICDCS 2024 – IEEE 44th International Conference on Distributed Computing Systems, Jul 2024, Jersey City, NJ, United States. pp.139-150, ⟨10.1109/ICDCS60910.2024.00022⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04677829/file/jpwjkxkctgfnpgqdzkxtrpzmhjxdmbqn.pdf BibTex
titre
Faster Randomized Repeated Choice and DCAS
auteur
Dante Bencivenga, George Giakkoupis, Philipp Woelfel
article
PODC ’24: 43rd ACM Symposium on Principles of Distributed Computing, Jun 2024, Nantes, France. pp.454-464, ⟨10.1145/3662158.3662828⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04896495/file/DCAS2.pdf BibTex
titre
Sharding in permissionless systems in presence of an adaptive adversary
auteur
Emmanuelle Anceaume, Davide Frey, Arthur Rauch
article
NETYS 2024 – 12th International Conference on Networked Systems, May 2024, Rabat, Morocco. pp.1-30
Accès au texte intégral et bibtex
https://cnrs.hal.science/hal-04794826/file/main.pdf BibTex
titre
Brief: Sharding in permissionless systems in presence of an adaptive adversary
auteur
Emmanuelle Anceaume, Davide Frey, Arthur Rauch
article
31st International Colloquium on Structural Information and Communication Complexity (SIROCCO), Springer, May 2024, Vietri sul Mare, Italy. pp.481-487, ⟨10.1007/978-3-031-60603-8_26⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04477243/file/SplitChain.pdf BibTex
titre
Une Implémentation Optimale pour SCD-Broadcast Byzantin
auteur
Vincent Kowalski, Achour Mostefaoui, Matthieu Perrin
article
AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France
Accès au texte intégral et bibtex
https://hal.science/hal-04567086/file/Algotel_SCD-3.pdf BibTex
titre
What are the Relationships between Read/Write and Send/Receive in Crash-Prone Asynchronous Systems
auteur
Mathilde Déprés, Achour Mostefaoui, Matthieu Perrin, Michel Raynal
article
AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.science/hal-04555445/file/mutual.pdf BibTex

Reports

titre
Randomized Consensus: Common Coins Are not the Holy Grail!
auteur
Achour Mostefaoui, Matthieu Perrin, Julien Weibel
article
LS2N-Nantes Université. 2024
Accès au bibtex
BibTex

Theses

titre
Foundations of Reliable Cooperation under Asynchrony, Byzantine Faults, and Message Adversaries
auteur
Timothé Albouy
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Rennes, 2024. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://inria.hal.science/tel-04764046/file/2024%20-%20PhD%20thesis%20-%20Timoth%C3%A9%20ALBOUY.pdf BibTex

Preprints, Working Papers, …

titre
Asynchronous BFT Asset Transfer: Quasi-Anonymous, Light, and Consensus-Free
auteur
Timothé Albouy, Emmanuelle Anceaume, Davide Frey, Mathieu Gestin, Arthur Rauch, Michel Raynal, François Taïani
article
2024
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04578985/file/Asynchronous_BFT_Asset_Transfer__Quasi_Anonymous__Light__and_Consensus_Free.pdf BibTex
titre
No Broadcast Abstraction Characterizes k-Set-Agreement in Message-Passing Systems (Extended Version)
auteur
Sylvain Gay, Achour Mostefaoui, Matthieu Perrin
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04571653/file/main.pdf BibTex

2023

Journal articles

titre
Asynchronous Byzantine reliable broadcast with a message adversary
auteur
Timothé Albouy, Davide Frey, François Taïani, Michel Raynal
article
Theoretical Computer Science, 2023, 978, pp.114110. ⟨10.1016/j.tcs.2023.114110⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04212154/file/main.pdf BibTex
titre
Continuous-Time Stochastic Analysis of Rumor Spreading with Multiple Operations
auteur
François Castella, Bruno Sericola, Emmanuelle Anceaume, Yves Mocquard
article
Methodology and Computing in Applied Probability, 2023, 25 (4), pp.82. ⟨10.1007/s11009-023-10058-7⟩
Accès au texte intégral et bibtex
https://cnrs.hal.science/hal-04255487/file/MCAP_k_pull_continu.pdf BibTex
titre
Optimal algorithms for synchronous Byzantine k-set agreement
auteur
Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal, Mouna Safir
article
Theoretical Computer Science, 2023, 973, pp.114098. ⟨10.1016/J.TCS.2023.114098⟩
Accès au bibtex
BibTex
titre
Reaching agreement in the presence of contention-related crash failures
auteur
Anaïs Durand, Michel Raynal, Gadi Taubenfeld
article
Theoretical Computer Science, 2023, 966-967, pp.113982. ⟨10.1016/j.tcs.2023.113982⟩
Accès au texte intégral et bibtex
https://uca.hal.science/hal-04323433/file/hal.pdf BibTex
titre
Differentiated consistency for worldwide gossips
auteur
Davide Frey, Achour Mostefaoui, Matthieu Perrin, Pierre-Louis Roman, Francois Taiani
article
IEEE Transactions on Parallel and Distributed Systems, 2023, 35 (11), pp.11461–11475. ⟨10.1109/TPDS.2022.3209150⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03797554/file/GPS-UPS%20journal.pdf BibTex

Conference papers

titre
Basalt: A Rock-Solid Byzantine-Tolerant Peer Sampling for Very Large Decentralized Networks
auteur
Alex Auvolat, Yérom-David Bromberg, Davide Frey, Djob Mvondo, François Taïani
article
Middleware 2023 – 24th International Middleware Conference, Dec 2023, Bologna, Italy. pp.111-123, ⟨10.1145/3590140.3629109⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04394966/file/paper.pdf BibTex
titre
Extending The Boundaries and Exploring The Limits Of Blockchain Compression
auteur
Anurag Jain, Emmanuelle Anceaume, Sujit Gujar
article
SRDS 2023 – 42nd International Symposium on Reliable Distributed Systems, IEEE, Sep 2023, Marrackech, Morocco. pp.1-11
Accès au texte intégral et bibtex
https://cnrs.hal.science/hal-04166932/file/main.pdf BibTex
titre
Empirical Analysis of Bias in Federated Learning
auteur
Nawel Benarba, Sara Bouchenak
article
Conférence francophone d’informatique en Parallélisme, Architecture et Système, Jul 2023, Annecy, France
Accès au bibtex
BibTex
titre
Stochastic analysis of rumor spreading with multiple pull operations in presence of non-cooperative nodes
auteur
Sébastien Kilian, Emmanuelle Anceaume, Bruno Sericola
article
ASMTA 2023 – 27th International Conference on Analytical & Stochastic Modelling Techniques & Applications, Jun 2023, Florence, Italy. pp.1-15
Accès au texte intégral et bibtex
https://cnrs.hal.science/hal-04166945/file/main.pdf BibTex
titre
Distributed Self-Stabilizing MIS with Few States and Weak Communication
auteur
George Giakkoupis, Isabella Ziccardi
article
PODC 2023 – ACM Symposium on Principles of Distributed Computing, Jun 2023, Orlando (FL), United States. pp.310-320, ⟨10.1145/3583668.3594581⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04393730/file/ssMIS.pdf BibTex
titre
Word-Size RMR Tradeoffs for Recoverable Mutual Exclusion
auteur
David Yu Cheng Chan, George Giakkoupis, Philipp Woelfel
article
PODC 2023 – ACM Symposium on Principles of Distributed Computing, Jun 2023, Orlando (FL), United States. pp.79-89, ⟨10.1145/3583668.3594597⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04395095/file/general-rme-space-lower-bound.pdf BibTex
titre
Comment se mettre d’accord quand les autres dorment ?
auteur
Anaïs Durand, Michel Raynal, Gadi Taubenfeld
article
AlgoTel 2023 – 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2023, Cargèse, France. pp.1-4
Accès au texte intégral et bibtex
https://uca.hal.science/hal-04076960/file/algotel.pdf BibTex
titre
Towards Robust and Bias-free Federated Learning
auteur
Ousmane Touat, Sara Bouchenak
article
3rd Workshop on Machine Learning and Systems (EuroMLSys ’23), May 2023, Rome, Italy. pp.49-55, ⟨10.1145/3578356.3592576⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04102260/file/document.pdf BibTex

Preprints, Working Papers, …

titre
Causal Mutual Byzantine Broadcast
auteur
Mathieu Féry, Vincent Kowalski, Florian Monsion, Achour Mostefaoui, Samuel Pénault, Matthieu Perrin, Guillaume Poignant
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04211703/file/main.pdf BibTex
titre
Privacy-preserving Byzantine-tolerant atomic registers
auteur
Quentin Gomes dos Reis, Vincent Kowalski, Rodrigue Meunier, Matthieu Perrin, Gabriel Pouplin
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04211679/file/main_fr.pdf BibTex
titre
Atomic Register Abstractions for Byzantine-Prone Distributed Systems, Extended Version
auteur
Vincent Kowalski, Achour Mostéfaoui, Matthieu Perrin
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04213718/file/Atomic_Register_Abstractions_for_Byzantine_Prone_Distributed_Systems_Extended_Version.pdf BibTex
titre
Word-Size RMR Trade-offs for Recoverable Mutual Exclusion
auteur
David Yu Cheng Chan, George Giakkoupis, Philipp Woelfel
article
2023
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04098408/file/general-rme-space-lower-bound.pdf BibTex
titre
Send/Receive Patterns versus Read/Write Patterns: the MB-Broadcast Abstraction (Extended Version)
auteur
Mathilde Déprés, Achour Mostefaoui, Matthieu Perrin, Michel Raynal
article
2023
Accès au texte intégral et bibtex
https://hal.science/hal-04087447/file/MBroadcast_extended.pdf BibTex
titre
Good-case Early-Stopping Latency of Synchronous Byzantine Reliable Broadcast: The Deterministic Case (Extended Version)
auteur
Timothé Albouy, Davide Frey, Michel Raynal, François Taïani
article
2023
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04017887/file/main.pdf BibTex

2022

Journal articles

titre
Distributed computability: Relating k-immediate snapshot and x-set agreement
auteur
Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal
article
Information and Computation, 2022, 285, pp.104815. ⟨10.1016/j.ic.2021.104815⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03920684/file/S0890540121001450.pdf BibTex

Conference papers

titre
A Modular Approach to Construct Signature-Free BRB Algorithms under a Message Adversary
auteur
Timothé Albouy, Davide Frey, Michel Raynal, François Taïani
article
OPODIS 2022 – 26th Conference on Principles of Distributed Systems, Dec 2022, Brussels, Belgium. pp.1-44
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03906141/file/main.pdf BibTex
titre
Optimal Algorithms for Synchronous Byzantine k-Set Agreement
auteur
Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal, Mouna Safir
article
SSS 2022 – 24th International Symposium on Stabilizing, Safety, and Security of Distributed Systems, Nov 2022, Clermont-Ferrand, France. pp.178-192, ⟨10.1007/978-3-031-21017-4_12⟩
Accès au bibtex
BibTex
titre
Reaching Consensus in the Presence of Contention-Related Crash Failures
auteur
Anaïs Durand, Michel Raynal, Gadi Taubenfeld
article
SSS 2022 – 24th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2022, Clermont-Ferrand, France. pp.193-205, ⟨10.1007/978-3-031-21017-4_13⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03853639/file/SSS-2022-LNCS-format-Final-V4.pdf BibTex
titre
Good-case Early-Stopping Latency of Synchronous Byzantine Reliable Broadcast: The Deterministic Case
auteur
Timothé Albouy, Davide Frey, Michel Raynal, François Taïani
article
DISC 2022 – 36th International Symposium on Distributed Computing, Oct 2022, Augusta, GA, United States. ⟨10.4230/LIPIcs.DISC.2022.4⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03791921/file/main.pdf BibTex
titre
Expanders via local edge flips in quasilinear time
auteur
George Giakkoupis
article
STOC 2022 – 54th Annual ACM SIGACT Symposium on Theory of Computing, Jun 2022, Rome, Italy. pp.64-76, ⟨10.1145/3519935.3520022⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03792482/file/stoc22flip.pdf BibTex

Preprints, Working Papers, …

titre
Asynchronous Byzantine Reliable Broadcast With a Message Adversary
auteur
Timothé Albouy, Davide Frey, Michel Raynal, François Taïani
article
2022
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03671451/file/main.pdf BibTex

2021

Journal articles

titre
Byzantine-Tolerant Causal Broadcast
auteur
Alex Auvolat, Davide Frey, Michel Raynal, François Taïani
article
Theoretical Computer Science, 2021, 885, pp.55-68. ⟨10.1016/j.tcs.2021.06.021⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03346710/file/Byz-CO-broadcast-TCS_20200702.pdf BibTex
titre
On the Versatility of Bracha’s Byzantine Reliable Broadcast Algorithm
auteur
Michel Raynal
article
Parallel Processing Letters, 2021, 31 (03), pp.1-7. ⟨10.1142/S0129626421500067⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03347874/file/Accepted-version.pdf BibTex
titre
Set-constrained delivery broadcast: A communication abstraction for read/write implementable distributed objects
auteur
Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
article
Theoretical Computer Science, 2021, 886, pp.49-68. ⟨10.1016/j.tcs.2021.06.044⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03304269/file/SCD-TCS.pdf BibTex

Conference papers

titre
On finality in blockchains
auteur
Emmanuelle Anceaume, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci-Piergiovanni
article
OPODIS 2021 – 25th Conference on Principles of Distributed Systems, Dec 2021, Strasbourg, France
Accès au texte intégral et bibtex
https://cea.hal.science/cea-03080029/file/opodis2021.pdf BibTex
titre
Byzantine-Tolerant Reliable Broadcast in the Presence of Silent Churn
auteur
Davide Frey, Timothé Albouy, Michel Raynal, François Taïani
article
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⟩
Accès au bibtex
BibTex
titre
Consensus-Free Ledgers When Operations of Distinct Processes are Commutative
auteur
Davide Frey, Lucie Guillou, Michel Raynal, François Taïani
article
PaCT 2021 – 16th International Conference on Parallel Computing Technologies, Sep 2021, Kaliningrad, Russia. pp.359-370, ⟨10.1007/978-3-030-86359-3_27⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03346756/file/Consensus-free-ledger-commute-operations-V11.pdf BibTex

Comments are closed.