Public Integrity Verification for Run-time Model in Batches without a Local Server | IEEE Conference Publication | IEEE Xplore