Abstract:Device-independent security is the gold standard for quantum cryptography: not only is security based entirely on the laws of quantum mechanics, but it holds irrespective of any a priori assumptions on the quantum devices used in a protocol, making it particularly applicable in a quantum-wary environment. While the existence of device-independent protocols for tasks such as randomness expansion and quantum key distribution has recently been established, the underlying proofs of security remain very challenging, yield rather poor key rates, and demand very high-quality quantum devices, thus making them all but impossible to implement in practice. We introduce a technique for the analysis of device-independent cryptographic protocols. We provide a flexible protocol and give a security proof that provides quantitative bounds that are asymptotically tight, even in the presence of general quantum adversaries. At a high level our approach amounts to establishing a reduction to the scenario in which the untrusted device operates in an identical and independent way in each round of the protocol. This is achieved by leveraging the sequential nature of the protocol, and makes use of a newly developed tool, the "entropy accumulation theorem" of Dupuis et al. As concrete applications we give simple and modular security proofs for device-independent quantum key distribution and randomness expansion protocols based on the CHSH inequality. For both tasks we establish essentially optimal asymptotic key rates and noise tolerance. In view of recent experimental progress, which has culminated in loophole-free Bell tests, it is likely that these protocols can be practically implemented in the near future.

Prospects for device-independent quantum key distribution

Entropy bounds for device-independent quantum key distribution with local Bell test

Long-distance device-independent quantum key distribution using single-photon entanglement

Efficient Device-Independent Quantum Key Distribution

Device-Independent Quantum Key Distribution beyond qubits

A device-independent quantum key distribution system for distant users

Improved DIQKD protocols with finite-size analysis

Overcoming the Rate-Distance Limit of Device-Independent Quantum Key Distribution.

Device-independent quantum key distribution with arbitrarily small nonlocality

Device-independent quantum key distribution based on routed Bell tests

Performance of Device-Independent Quantum Key Distribution

Device-Independent Quantum Key Distribution Based on the Mermin-Peres Magic Square Game

Upper bounds on key rates in device-independent quantum key distribution based on convex-combination attacks

A security framework for quantum key distribution implementations

De Finetti Theorems for Quantum Conditional Probability Distributions with Symmetry

Device Independent Quantum Key Distribution with realistic single-photon source implementations

Security limitation on a class of device-independent quantum key distribution

Simple and tight device-independent security proofs

Secure device-independent quantum key distribution with causally independent measurement devices