4 papers
Privacy-Preserving Federated Averaging with Byzantine Aggregators in Asynchronous Networks
Antonella Del Pozzo, Achille Desreumaux, Mathieu Gestin +2
Federated Learning requires secure aggregation to prevent gradient leakage, yet existing protocols suffer from key limitations: they assume synchrony, require heavy peer-to-peer co…
Context Adaptive Cooperation
Timothé Albouy, Davide Frey, Mathieu Gestin +2
As shown by Reliable Broadcast and Consensus, cooperation among a set of independent computing entities (sequential processes) is a central issue in distributed computing. Consider…
Asynchronous BFT Asset Transfer: Quasi-Anonymous, Light, and Consensus-Free
Timothé Albouy, Emmanuelle Anceaume, Davide Frey +4
This paper introduces a new asynchronous Byzantine-tolerant asset transfer system (cryptocurrency) with three noteworthy properties: quasi-anonymity, lightness, and consensus-freed…
AMECOS: A Modular Event-based Framework for Concurrent Object Specification
Timothé Albouy, Antonio Fernández Anta, Chryssis Georgiou +3
In this work, we introduce a modular framework for specifying distributed systems that we call AMECOS. Specifically, our framework departs from the traditional use of sequential sp…