VOSA: Verifiable and Oblivious Secure Aggregation for Privacy-Preserving Federated Learning | IEEE Journals & Magazine | IEEE Xplore