García-Pérez, Álvaro
- 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)
- Towards the type safety of Pure Subtype Systems (Full version)
2024/07/18 by Pasquale, Valentin, García-Pérez, Álvaro · 1 citation
#F.3.3 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)