Enabling Execution Assurance of Federated Learning at Untrusted Participants | IEEE Conference Publication | IEEE Xplore