Advancing Federated Learning through Verifiable Computations and Homomorphic Encryption. - Bingxue Zhang; Guangguang Lu; Pengpeng Qiu; Xumin Gui; Yang Shi (Entropy, 2023)