Classical Verification of Quantum Computations
2018IEEE Annual Symposium on Foundations of Computer Science256 citations
Semantic Scholar
Researcher profile · Semantic Scholar
D. Aharonov, M. Ben-Or, Elad Eban, U. Mahadev
Zvika Brakerski, Paul Christiano, U. Mahadev, U. Vazirani +1 more
Zvika Brakerski, Paul Christiano, U. Mahadev, U. Vazirani +1 more
U. Mahadev, U. Vazirani, T. Vidick