THE-V: Verifiable Privacy-Preserving Neural Network via Trusted Homomorphic Execution | IEEE Conference Publication | IEEE Xplore