VFEFL: Privacy-preserving federated learning against malicious clients via verifiable functional encryption | AI Sec Watch