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