Secure Aggregation for Buffered Asynchronous Federated Learning