Efficient and Privacy-Preserving Integrity Verification for Federated Learning with TEEs | IEEE Conference Publication | IEEE Xplore