P-EVFL: Efficient verifiable federated learning with privacy. - Juan Ma; Xiangshen Ma; Yuling Chen 002 (Knowl. Based Syst., 2025)