G.  Alagic, Dulek, Y., Schaffner, C., and Speelman, F., ?Quantum Fully Homomorphic Encryption With Verification?, Proceedings of ASIACRYPT 2017, pp. 438-467, 2017.