Trusted Model Aggregation With Zero-Knowledge Proofs in Federated Learning. - Renwen Ma; Kai Hwang 001; Mo Li; Yiming Miao (IEEE Trans. Parallel Distributed Syst., 2024)