Urmila Mahadev. Classical Verification of Quantum Computations. In Mikkel Thorup, editor, 59th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2018, Paris, France, October 7-9, 2018. pages 259-267, IEEE Computer Society, 2018. [doi]
Abstract is missing.