A Verifiable Privacy-Preserving Machine Learning Prediction Scheme for Edge-Enhanced HCPSs | IEEE Journals & Magazine | IEEE Xplore