zkMLaaS: a Verifiable Scheme for Machine Learning as a Service | IEEE Conference Publication | IEEE Xplore