Practical Verifiable Computation on Encrypted Data | IEEE Conference Publication | IEEE Xplore