EHFL: Efficient Horizontal Federated Learning With Privacy Protection and Verifiable Aggregation | IEEE Journals & Magazine | IEEE Xplore