VFEFL: Privacy-preserving federated learning against malicious clients via verifiable functional encryption | Synapse