Device-independent two-party cryptography secure against sequential attacks

Abstract

The goal of two-party cryptography is to enable two parties, Alice and Bob, to solve common tasks without the need for mutual trust. Examples of such tasks are private access to a database, and secure identification. Quantum communication enables security for all of these problems in the noisy-storage model by sending more signals than the adversary can store in a certain time frame. Here, we initiate the study of device-independent protocols for two-party cryptography in the noisy-storage model. Specifically, we present a relatively easy to implement protocol for a cryptographic building block known as weak string erasure and prove its security even if the devices used in the protocol are prepared by the dishonest party. Device-independent two-party cryptography is made challenging by the fact that Alice and Bob do not trust each other, which requires new techniques to establish security. We fully analyse the case of memoryless devices (for which sequential attacks are optimal) and the case of sequential attacks for arbitrary devices. The key ingredient of the proof, which might be of independent interest, is an explicit (and tight) relation between the violation of the Clauser-Horne-Shimony-Holt inequality observed by Alice and Bob and uncertainty generated by Alice against Bob who is forced to measure his system before finding out Alice's setting (guessing with postmeasurement information). In particular, we show that security is possible for arbitrarily small violation.

18 pages, 7 figures, published version

References in corpus (10)

• Device-independent security of quantum cryptography against collective attacks
• Cryptography from Noisy Storage
• Fully Distrustful Quantum Cryptography
• Device-Independent Relativistic Quantum Bit Commitment
• State Discrimination with Post-Measurement Information
• Device-independent randomness extraction for arbitrarily weak min-entropy source
• Completely Device Independent Quantum Key Distribution
• Cryptography in a Quantum World
• Relativistic quantum cryptography
• Continuous-Variable Protocols in the Noisy-Storage Model

Cited by in corpus (27)

• Self-testing of quantum systems: a review
• Simple and tight device-independent security proofs
• Fully device independent Conference Key Agreement
• SimulaQron - A simulator for developing quantum internet software
• Self-testing of binary observables based on commutation
• Quantifying Bell: the Resource Theory of Nonclassicality of Common-Cause Boxes
• Maximal nonlocality from maximal entanglement and mutually unbiased bases, and self-testing of two-qutrit quantum systems
• Device Independent Quantum Private Query
• NetQASM -- A low-level instruction set architecture for hybrid quantum-classical programs in a quantum internet
• Generalised entropy accumulation
• Robust self-testing of two-qubit states
• Detector-Independent Verification of Quantum Light
• Device Independent Quantum Secret Sharing in Arbitrary Even Dimension
• Randomness versus nonlocality in the Mermin-Bell experiment with three parties
• Understanding the interplay of entanglement and nonlocality: motivating and developing a new branch of entanglement theory
• Device-independence for two-party cryptography and position verification
• A device-independent protocol for XOR oblivious transfer
• Local Randomness: Examples and Application
• Reductions to IID in Device-independent Quantum Information Processing
• Device-independent quantum private comparison protocol without a third party
• Device-Independent Oblivious Transfer from the Bounded-Quantum-Storage-Model and Computational Assumptions
• Correlations constrained by composite measurements
• Device-independent quantum authorization based on the Clauser-Horne-Shimony-Holt game
• Experimental Demonstration on Quantum Sensitivity to Available Information in Decision Making
• Local hidden variable values without optimization procedures
• Quantum oblivious transfer: a short review
• Device-independent quantum state discrimination