Verifiable Deep Learning Inference on Heterogeneous Edge Devices With Trusted Execution Environment | IEEE Journals & Magazine | IEEE Xplore