VPPFL: Verifiable Privacy-Preserving Federated Learning in Cloud Environment | IEEE Journals & Magazine | IEEE Xplore