G.  Alagic, Childs, A. M., Grilo, A. B., and Hung, S. - H., ?Non-interactive classical verification of quantum computation?, Theory of Cryptography Conference (TCC), vol. Lecture Notes in Computer Science 12552, pp. 153-180, 2020.

G.  Alagic, Jeffery, S., Ozols, M., and Poremba, A., ?On non-adaptive quantum chosen-ciphertext attacks and Learning with Errors?, 14th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2019, June 3-5, 2019, University of Maryland, College Park, Maryland, USA, pp. 1:1-1:23 , 2019.