VOSA: Verifiable and Oblivious Secure Aggregation for Privacy-Preserving Federated Learning | Synapse