Certifiably Byzantine-Robust Federated Conformal Prediction | Synapse