Efficient and Verifiable Privacy-Preserving Federal Learning Framework | IEEE Conference Publication | IEEE Xplore