WVFL: Weighted Verifiable Secure Aggregation in Federated Learning | IEEE Journals & Magazine | IEEE Xplore