VeriML: Enabling Integrity Assurances and Fair Payments for Machine Learning as a Service | IEEE Journals & Magazine | IEEE Xplore