Robust Secure Aggregation with Lightweight Verification for Federated Learning | IEEE Conference Publication | IEEE Xplore