Verifying Quantum Proofs with Entangled Games

simons.berkeley.edu

Tons of great background in this talk, in particular I'm grateful to learn of the work of Thomas Vidick.

Definitely! I'm sure you've seen it, but check out his publications page. Quantum cryptography is where I find his ideas most interesting.