Certifiably-Robust Federated Adversarial Learning via Randomized Smoothing | IEEE Conference Publication | IEEE Xplore