Mahe, Erwan

1. Fantastyc: Blockchain-based Federated Learning Made Secure and Practical
   2024/06/05 by William Boitier, Boitier, William, Antonella Del Pozzo +21 · 3 citations
   Computer Science · #Blockchain Technology Applications and Security #Cryptography and Security (cs.CR) #Distributed #FOS: Computer and information sciences #Parallel #Privacy-Preserving Technologies in Data #and Cluster Computing (cs.DC)
2. Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal
   2024/03/05 by Mahe, Erwan, Bannour, Boutheina, Gaston, Christophe +1 · 2 citations
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
3. A small-step approach to multi-trace checking against interactions
   2020/09/03 by Mahe, Erwan, Bannour, Boutheina, Gaston, Christophe +2 · 1 citation
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)