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.

Memory effects in device-dependent and device-independent cryptography

Measurement-device-independent quantum key distribution with ensemble-based memories

Practical Decoy-State Memory-Assisted Measurement-Device-Independent Quantum Key Distribution

Simple and tight device-independent security proofs

Prospects for device-independent quantum key distribution

Quantum Complementarity Approach to Device-Independent Security

Robustness of implemented device-independent protocols against constrained leakage

Device-Independent Quantum Secure Direct Communication Under Non-Markovian Quantum Channels

Monte Carlo approach to the evaluation of the security of device-independent quantum key distribution

Entropy Accumulation under Post-Quantum Cryptographic Assumptions

A security framework for quantum key distribution implementations

Measurement-device-independent quantum coin tossing

Measurement-Device-Independenization of Quantum Key Distribution Protocols

Almost-tight and Versatile Security Analysis of Measurement-Device-independent Quantum Key Distribution

Practical aspects of measurement-device-independent quantum key distribution

Memory-assisted measurement-device-independent quantum secret sharing

Improved Finite-Key Security Analysis of Measurement-Device-Independent Quantum Key Distribution Against a Trojan-Horse Attack

Towards the device-independent certification of a quantum memory

Loss-tolerant measurement-device-independent quantum private queries

Device-Independent Quantum Key Distribution beyond qubits