14 references, page 1 of 2 by US NSF Awards 1500095, 1216729, 1526928, and 848 (2011), http://dx.doi.org/10.1137/090751293, URL 1318070. http://dx.doi.org/10.1137/090751293.

[14] U. Vazirani and T. Vidick, in Proceedings of The 5th

(2014), arXiv:1210.1810v2.

[15] T. Vidick, in Proceedings - Annuel IEEE Symposium on

∗ carlmi@umich.edu Foundations of Computer Science (FOCS) (2013), pp.

† shiyy@umich.edu 766-755. [1] N. Brunner, D. Cavalcanti, S. Pironio, V. Scarani, and [16] J. Kaniewski and S. Wehner, Device-independent twoS. Wehner, Rev. Mod. Phys. 86, 419 86 (2014). party cryptography secure against sequential attacks, [2] R. Colbeck, Ph.D. thesis, University of Cambridge arXiv:1601.06752 (2016).

(2006), arXiv:0911.3814. [17] J. Riberio, L. P. Thinh, J. Kaniewski, J. Helsen, and [3] S. Pironio, A. Ac´ın, S. Massar, A. Boyer de la Giroday, S. Wehner, Device-independence for two-party cryptograD. N. Matsukevich, P. Maunz, S. Olmschenk, D. Hayes, phy and position verification, arXiv:1606.08750 (2016).

L. Luo, T. A. Manning, et al., Nature 464, 1021 (2010). [18] M. McKague, Interactive proofs for bqp via self-tested [4] R. Colbeck and A. Kent, Journal of Physics A: Math- graph states, arXiv:1309.5675v2 (2015).

ematical and Theoretical 44, 095305 (2011), URL [19] B. Tsirelson, Bell inequalities and operator algebras, http://stacks.iop.org/1751-8121/44/i=9/a=095305. http://www.tau.ac.il/~tsirel/download/bellopalg.pdf. [5] U. V. Vazirani and T. Vidick, in Proceedings of [20] V. B. Scholz and R. F. Werner (2008), the 44th Symposium on Theory of Computing Con- arXiv:0812.4305v1.

ference, STOC 2012, New York, NY, USA, May 19 [21] M. McKague, T. H. Yang, and V. Scarani, - 22, 2012, edited by H. J. Karloff and T. Pitassi Journal of Physics A: Mathematical and (ACM, 2012), pp. 61-76, ISBN 978-1-4503-1245-5, URL Theoretical 45, 455304 (2012), URL http://dl.acm.org/citation.cfm?id=2213977. http://stacks.iop.org/1751-8121/45/i=45/a=455304. [6] S. Pironio and S. Massar, Phys. [22] B. W. Reichardt, F. Unger, and U. Vazirani, Nature 496, Rev. A 87, 012336 (2013), URL 456 (2013).