TY - JOUR T1 - Graphical Methods in Device-Independent Quantum Cryptography JF - Quantum Y1 - 2019 A1 - Spencer Breiner A1 - Carl Miller A1 - Neil J. Ross AB -

We introduce a framework for graphical security proofs in device-independent quantum cryptography using the methods of categorical quantum mechanics. We are optimistic that this approach will make some of the highly complex proofs in quantum cryptography more accessible, facilitate the discovery of new proofs, and enable automated proof verification. As an example of our framework, we reprove a recent result from device-independent quantum cryptography: any linear randomness expansion protocol can be converted into an unbounded randomness expansion protocol. We give a graphical exposition of a proof of this result and implement parts of it in the Globular proof assistant.

VL - 3 UR - https://arxiv.org/abs/1705.09213 CP - 146 U5 - https://doi.org/10.22331/q-2019-05-27-146 ER -