Classical Verification of Quantum Computations.

Urmila Mahadev

Browse the full FOCS paper archive.