Axel Legay
4 papers in the PaperMetrix corpus
Papers by this author
-
Building User Trust of Critical Digital Technologies
2020
Digital technology is permeating all aspects of human society and life. This leads to humans becoming highly dependent on digital devices, including upon digital: assistance, intelligence, and decisions. A major concern of this digital dependence …
-
Implementing the plugin distribution system
2021
Recent works proposed to dynamically extend protocol implementations through protocol plugins. While addressing deployment issues, they raise safety concerns (do they terminate, do they act maliciously,. . . ). To fill this gap, a system …
-
Security and Privacy of Protocols and Software with Formal Methods
2016 · HAL (Le Centre pour la Communication Scientifique Directe)
International audience
-
Secure federated learning applied to medical imaging with fully homomorphic encryption
2024
This study explores the convergence of Federated Learning (FL) and Fully Homomorphic Encryption (FHE) through an innovative approach applied to a confidential dataset composed of mammograms from Belgian medical records. Our goal is to clarify …