Alex Grilo

Alagic, G., Childs, A. M., Grilo, A., & Hung, S.-H. (2020). Non-interactive Classical Verification of Quantum Computation. In Lecture Notes in Computer Science (pp. 153–180). Springer International Publishing. http://doi.org/10.1007/978-3-030-64381-2_6