%0 Book Section %B 8th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2013 %D 2013 %T Optimal robust self-testing by binary nonlocal XOR games %A Carl Miller %A Yaoyun Shi %K nonlocal games %K quantum cryptography %K Random number generation %K Self-testing %X

Self-testing a quantum apparatus means verifying the existence of a certain quantum state as well as the effect of the associated measuring devices based only on the statistics of the measurement outcomes. Robust (i.e., error-tolerant) self-testing quantum apparatuses are critical building blocks for quantum cryptographic protocols that rely on imperfect or untrusted devices. We devise a general scheme for proving optimal robust self-testing properties for tests based on nonlocal binary XOR games. We offer some simplified proofs of known results on self-testing, and also prove some new results.

%B 8th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2013 %I Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing %V 22 %P 254–262 %G eng %R 10.4230/LIPIcs.TQC.2013.254