Certifiably robust and privacy-preserving federated learning against backdoor attacks | Synapse