Researcher profile

Axel Legay

4 papers in the PaperMetrix corpus

Publications

Papers by this author

  1. 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 …

  2. 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 …

  3. Security and Privacy of Protocols and Software with Formal Methods

    2016 · HAL (Le Centre pour la Communication Scientifique Directe)

    International audience

  4. 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 …