Privacy-Preserving Backdoor Attacks Mitigation in Federated Learning Using Functional Encryption | Synapse