Linked Presentation: Lotto: Secure Participant Selection against Adversarial Servers in Federated Learning