Practical Verifiable Computation on Encrypted Data. - Xunwu Gong; Bin Hu; Yunqiang Xiong; Xiaofang Zhao (BigDataSecurity/HPSC/IDS, 2022)