Toward Efficient and Certified Recovery From Poisoning Attacks in Federated Learning | IEEE Journals & Magazine | IEEE Xplore