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.

Measurement-Device Independency Analysis of Continuous-Variable Quantum Digital Signature

Continuous-variable measurement-device-independent quantum secret sharing without entanglement

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

Simple and tight device-independent security proofs

High-rate measurement-device-independent quantum cryptography

Experimental Measurement-Device-independent Quantum Digital Signatures over a Metropolitan Network

Measurement-Device-Independenization of Quantum Key Distribution Protocols

Continuous-variable quantum homomorphic signature

Measurement-device-independent quantum coin tossing

Measurement-device-independent Quantum Communication Without Encryption.

Semi-device-independent characterization of quantum measurements under a minimum overlap assumption

Composable Security Analysis of Continuous-Variable Measurement-Device-independent Quantum Key Distribution with Squeezed States for Coherent Attacks

Quantum Complementarity Approach to Device-Independent Security

Asynchronous measurement-device-independent quantum digital signatures

Continuous-variable Source-Device-independent Quantum Key Distribution Against General Attacks

Side-channel free quantum digital signature with source monitoring

Continuous-Variable Measurement-Device-Independent Quantum Key Distribution with Imperfect Detectors

Discrete-phase-randomized measurement-device-independent quantum key distribution

Solving the Untrusted Source Problem in Measurement-Device-Independent Quantum Key Distribution

Measurement-Device-Independent Two-Party Cryptography with Error Estimation.

Effects of Reduced Measurements Independence on Self-Testing