Robust and Secure Federated Learning With Verifiable Differential Privacy. - Chushan Zhang; Jian Weng 001; Jiasi Weng 001; Yijian Zhong; Jia-Nan Liu; Cunle Deng (IEEE Trans. Dependable Secur. Comput., 2025)