@inproceedings(abramsky2004categorical,
 author       = {Samson Abramsky and Bob Coecke},
 year         = {2004},
 title        = {A categorical semantics of quantum protocols},
 booktitle    = {Logic in computer science, 2004. Proceedings of the 19th Annual IEEE Symposium on},
 organization = {IEEE},
 pages        = {415--425},
 doi          = {10.1109/LICS.2004.1319636},
)
@incollection(baez2010physics,
 author       = {John Baez and Mike Stay},
 year         = {2010},
 title        = {Physics, topology, logic and computation: a Rosetta Stone},
 booktitle    = {New structures for physics},
 publisher    = {Springer},
 pages        = {95--172},
 doi          = {10.1007/978-3-642-12821-9_2},
)
@article(bennett2014quantum,
 author       = {Charles H Bennett and Gilles Brassard},
 year         = {2014},
 title        = {Quantum cryptography: Public key distribution and coin tossing.},
 journal      = {Theor. Comput. Sci.},
 volume       = {560},
 number       = {P1},
 pages        = {7--11},
 doi          = {10.1016/j.tcs.2014.05.025},
)
@article(breiner2017graphical,
 author       = {Spencer Breiner and Carl A. Miller and Neil J. Ross},
 year         = {2017},
 title        = {Graphical Methods in Device-Independent Quantum Cryptography},
 journal      = {arXiv:1705.09213},
)
@article(chao2016test,
 author       = {Rui Chao and Ben W. Reichardt and Chris Sutherland and Thomas Vidick},
 year         = {2018},
 title        = {Test for a large amount of entanglement, using few measurements},
 journal      = {Quantum},
 volume       = {2},
 number       = {92},
 doi          = {10.22331/q-2018-09-03-92},
)
@book(coecke2017picturing,
 author       = {Bob Coecke and Aleks Kissinger},
 year         = {2017},
 title        = {Picturing quantum processes},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316219317},
)
@article(coecke2006quantum,
 author       = {Bob Coecke and Dusko Pavlovic},
 year         = {2006},
 title        = {Quantum measurements without sums},
 journal      = {arXiv preprint quant-ph/0608035},
)
@article(coladangelo2017parallel,
 author       = {Andrea Coladangelo},
 year         = {2017},
 title        = {Parallel self-testing of (tilted) EPR pairs via copies of (tilted) CHSH and the magic square game},
 journal      = {Quantum Information and Computation},
 volume       = {17},
 number       = {9-10},
 pages        = {831--865},
)
@article(coladangelo2018generalization,
 author       = {Andrea Coladangelo},
 year         = {2018},
 title        = {A generalization of the CHSH inequality self-testing maximally entangled states of any local dimension},
 journal      = {arXiv:1803.05904},
)
@article(coladangelo2017all,
 author       = {Andrea Coladangelo and Koon Tong Goh and Valerio Scarani},
 year         = {2017},
 title        = {All pure bipartite entangled states can be self-tested},
 journal      = {Nature Communications},
 volume       = {8},
 pages        = {15485},
 doi          = {10.1038/ncomms15485},
)
@article(coladangelo2017verifier,
 author       = {Andrea Coladangelo and Alex Grilo and Stacey Jeffery and Thomas Vidick},
 year         = {2017},
 title        = {Verifier-on-a-Leash: new schemes for verifiable delegated quantum computation, with quasilinear resources},
 journal      = {arXiv:1708.07359},
)
@article(coladangelo2017robust,
 author       = {Andrea Coladangelo and Jalex Stark},
 year         = {2017},
 title        = {Robust self-testing for linear constraint system games},
 journal      = {arXiv:1709.09267},
)
@article(coudron2016parallel,
 author       = {Matthew Coudron and Anand Natarajan},
 year         = {2016},
 title        = {The parallel-repeated magic square game is rigid},
 journal      = {arXiv:1609.06306},
)
@unpublished(fadel2017,
 author       = {Matteo Fadel},
 year         = {2017},
 title        = {Self-testing Dicke states},
 note         = {{\it arXiv:1707.01215}},
)
@article(hillery1999quantum,
 author       = {Mark Hillery and Bu{\v{z}}ek, Vladim{\'\i}r and Andr{\'e} Berthiaume},
 year         = {1999},
 title        = {Quantum secret sharing},
 journal      = {Physical Review A},
 volume       = {59},
 number       = {3},
 pages        = {1829},
 doi          = {10.1103/PhysRevA.59.1829},
)
@article(joyal1991geometry,
 author       = {Andr{\'e} Joyal and Ross Street},
 year         = {1991},
 title        = {The geometry of tensor calculus, I},
 journal      = {Advances in mathematics},
 volume       = {88},
 number       = {1},
 pages        = {55--112},
 doi          = {10.1016/0001-8708(91)90003-P},
)
@article(kalev2017rigidity,
 author       = {Amir Kalev and Carl A. Miller},
 year         = {2017},
 title        = {Rigidity of the magic pentagram game},
 journal      = {Quantum Science and Technology},
 volume       = {3},
 number       = {1},
 pages        = {015002},
 doi          = {10.1088/2058-9565/aa931d},
)
@unpublished(kissinger2017picture,
 author       = {Aleks Kissinger and Sean Tull and Bas Westerbaan},
 year         = {2017},
 title        = {Picture-perfect Quantum Key Distribution},
 note         = {{\it arXiv:1704.08668}},
)
@inproceedings(mayers1998quantum,
 author       = {Dominic Mayers and Andrew Yao},
 year         = {1998},
 title        = {Quantum cryptography with imperfect apparatus},
 booktitle    = {FOCS '98 Proceedings of the 39th Annual Symposium on Foundations of Computer Science},
 organization = {IEEE},
 pages        = {503--509},
 doi          = {10.1109/SFCS.1998.743501},
)
@inproceedings(mckague2011self,
 author       = {Matthew McKague},
 year         = {2011},
 title        = {Self-testing graph states},
 booktitle    = {Conference on Quantum Computation, Communication, and Cryptography},
 organization = {Springer},
 pages        = {104--120},
 doi          = {10.1007/978-3-642-54429-3_7},
)
@article(mckague2016interactive,
 author       = {Matthew McKague},
 year         = {2016},
 title        = {Interactive Proofs for BQP via Self-Tested Graph States},
 journal      = {Theory of Computing},
 volume       = {12},
 number       = {3},
 pages        = {1--42},
 doi          = {10.4086/toc.2016.v012a003},
)
@article(mckague2016self,
 author       = {Matthew McKague},
 year         = {2016},
 title        = {Self-testing in parallel},
 journal      = {New Journal of Physics},
 volume       = {18},
 number       = {4},
 pages        = {045013},
 doi          = {10.1088/1367-2630/18/4/045013},
)
@article(mckague2017self,
 author       = {Matthew McKague},
 year         = {2017},
 title        = {Self-testing in parallel with CHSH},
 journal      = {Quantum},
 volume       = {1},
 pages        = {1},
 doi          = {10.22331/q-2017-04-25-1},
)
@article(mckague2012robust,
 author       = {Matthew McKague and Tzyh Haur Yang and Valerio Scarani},
 year         = {2012},
 title        = {Robust self-testing of the singlet},
 journal      = {Journal of Physics A: Mathematical and Theoretical},
 volume       = {45},
 number       = {45},
 pages        = {455304},
 doi          = {10.1088/1751-8113/45/45/455304},
)
@inproceedings(miller2013optimal,
 author       = {Carl A. Miller and Yaoyun Shi},
 year         = {2013},
 title        = {Optimal Robust Self-Testing by Binary Nonlocal XOR Games},
 booktitle    = {8th Conference on the Theory of Quantum Computation, Communication and Cryptography},
 pages        = {264--272},
 doi          = {10.4230/LIPIcs.TQC.2013.254},
)
@inproceedings(natarajan2017quantum,
 author       = {Anand Natarajan and Thomas Vidick},
 year         = {2017},
 title        = {A Quantum Linearity Test for Robustly Verifying Entanglement},
 booktitle    = {Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing},
 series       = {STOC 2017},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {1003--1015},
 doi          = {10.1145/3055399.3055468},
)
@article(natarajan2018low,
 author       = {Anand Natarajan and Thomas Vidick},
 year         = {2018},
 title        = {Low-degree testing for quantum states},
 journal      = {arXiv:1801.03821},
)
@article(ostrev2016structure,
 author       = {Dimiter Ostrev},
 year         = {2016},
 title        = {The structure of nearly-optimal quantum strategies for the CHSH (n) XOR games},
 journal      = {Quantum Information \& Computation},
 volume       = {16},
 number       = {13-14},
 pages        = {1191--1211},
)
@article(Pal:2014,
 author       = {K\'aroly F. P\'al and Tam\'as V\'ertesi and Miguel Navascu\'es},
 year         = {2014},
 title        = {Device-independent tomography of multipartite quantum states},
 journal      = {Phys. Rev. A},
 volume       = {90},
 pages        = {042340},
 doi          = {10.1103/PhysRevA.90.042340},
)
@article(penrose1971applications,
 author       = {Roger Penrose},
 year         = {1971},
 title        = {Applications of negative dimensional tensors},
 journal      = {Combinatorial mathematics and its applications},
 volume       = {1},
 pages        = {221--244},
)
@article(popescu1992states,
 author       = {Sandu Popescu and Daniel Rohrlich},
 year         = {1992},
 title        = {Which states violate Bell's inequality maximally?},
 journal      = {Physics Letters A},
 volume       = {169},
 number       = {6},
 pages        = {411--414},
 doi          = {10.1016/0375-9601(92)90819-8},
)
@article(reichardt2013classical,
 author       = {Ben W. Reichardt and Falk Unger and Umesh Vazirani},
 year         = {2013},
 title        = {Classical command of quantum systems},
 journal      = {Nature},
 volume       = {496},
 number       = {7446},
 pages        = {456},
 doi          = {10.1038/nature12035},
)
@article(selinger2004towards,
 author       = {Peter Selinger},
 year         = {2004},
 title        = {Towards a quantum programming language},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {14},
 number       = {4},
 pages        = {527--586},
 doi          = {10.1017/S0960129504004256},
)
@article(selinger2007dagger,
 author       = {Peter Selinger},
 year         = {2007},
 title        = {Dagger compact closed categories and completely positive maps},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {170},
 pages        = {139--163},
 doi          = {10.1016/j.entcs.2006.12.018},
)
@incollection(selinger2010survey,
 author       = {Peter Selinger},
 year         = {2010},
 title        = {A survey of graphical languages for monoidal categories},
 booktitle    = {New structures for physics},
 publisher    = {Springer},
 pages        = {289--355},
 doi          = {10.1007/978-3-642-12821-9_4},
)
@article(supic2017simple,
 author       = {{\v S}upi{\' c}, Ivan and Andrea Coladangelo and Remigiusz Augusiak and Ac{\' i}n, Antonio},
 year         = {2018},
 title        = {Self-testing multipartite entangled states through projections onto two systems},
 journal      = {New Journal of Physics},
 volume       = {20},
 number       = {083041},
 doi          = {10.1088/1367-2630/aad89b},
)
@phdthesis(yao2016self-testing,
 author       = {Xingyao Wu},
 year         = {2016},
 title        = {Self-Testing: Walking on the Boundary of the Quantum Set},
 school       = {National University of Singapore},
)
@article(wu2014robust,
 author       = {Xingyao Wu and Yu Cai and Tzyh Haur Yang and Huy Nguyen Le and Jean-Daniel Bancal and Valerio Scarani},
 year         = {2014},
 title        = {Robust self-testing of the three-qubit W state},
 journal      = {Physical Review A},
 volume       = {90},
 number       = {4},
 pages        = {042339},
 doi          = {10.1103/PhysRevA.90.042339},
)