SAFELearning: Secure Aggregation in Federated Learning With Backdoor Detectability | Synapse