Peiming Xu, Meiling Zheng, Lingling Xu. Verifiable Secure Aggregation Protocol Under Federated Learning. In Jaideep Vaidya, Moncef Gabbouj, Jin Li, editors, Artificial Intelligence Security and Privacy - First International Conference on Artificial Intelligence Security and Privacy, AIS&P 2023, Guangzhou, China, December 3-5, 2023, Proceedings, Part I. Volume 14509 of Lecture Notes in Computer Science, pages 531-547, Springer, 2023. [doi]