5 papers
Adversary-Augmented Simulation for Fairness Evaluation and Defense in Hyperledger Fabric
Erwan Mahe, Rouwaida Abdallah, Pierre-Yves Piriou +1
This paper presents an adversary model and a simulation framework specifically tailored for analyzing attacks on distributed systems composed of multiple distributed protocols, wit…
Fantastyc: Blockchain-based Federated Learning Made Secure and Practical
William Boitier, Antonella Del Pozzo, Álvaro García-Pérez +9
Federated Learning is a decentralized framework that enables multiple clients to collaboratively train a machine learning model under the orchestration of a central server without…
Adversary-Augmented Simulation to evaluate fairness on HyperLedger Fabric
Erwan Mahe, Rouwaida Abdallah, Sara Tucci-Piergiovanni +1
This paper presents a novel adversary model specifically tailored to distributed systems, aiming to assess the security of blockchain networks. Building upon concepts such as adver…
Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation
Erwan Mahe, Boutheina Bannour, Christophe Gaston +2
Offline runtime verification involves the static analysis of executions of a system against a specification. For distributed systems, it is generally not possible to characterize e…
Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal
Erwan Mahe, Boutheina Bannour, Christophe Gaston +1
Runtime Verification (RV) refers to a family of techniques in which system executions are observed and confronted to formal specifications, with the aim of identifying faults. In O…