VHFL: A Cloud-Edge Model Verification Technique for Hierarchical Federated Learning | IEEE Conference Publication | IEEE Xplore