Dordis: Efficient Federated Learning with Dropout-Resilient Differential Privacy | Synapse