Breiner, S.
, Miller, C.
and Ross, N.
(2019),
Graphical Methods in Device-Independent Quantum Cryptography, Quantum, [online], https://doi.org/10.22331/q-2019-05-27-146
(Accessed April 26, 2025)
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.
Graphical Methods in Device-Independent Quantum Cryptography
Published
Author(s)
, , Neil J. Ross
Abstract
We introduce a framework for providing graphical security proofs for 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.Citation
Quantum
Volume
3
Pub Type
Journals
Download Paper
Keywords
quantum cryptography, automated proof-checking, random number generation, category theory
Citation
Issues
If you have any questions about this publication or are having problems accessing it, please contact reflib@nist.gov.
Created May 27, 2019, Updated May 31, 2019