Device-independence for two-party cryptography and position verification

Abstract

Quantum communication has demonstrated its usefulness for quantum cryptography far beyond quantum key distribution. One domain is two-party cryptography, whose goal is to allow two parties who may not trust each other to solve joint tasks. Another interesting application is position-based cryptography whose goal is to use the geographical location of an entity as its only identifying credential. Unfortunately, security of these protocols is not possible against an all powerful adversary. However, if we impose some realistic physical constraints on the adversary, there exist protocols for which security can be proven, but these so far relied on the knowledge of the quantum operations performed during the protocols. In this work we give device-independent security proofs of two-party cryptography and Position Verification for memoryless devices under different physical constraints on the adversary. We assess the quality of the devices by observing a Bell violation and we show that security can be attained for any violation of the Clauser-Holt-Shimony-Horne inequality.

28 pages, 4 figures, 2 tables

References in corpus (8)

• Quantum cryptography: Public key distribution and coin tossing
• Device-independent security of quantum cryptography against collective attacks
• Cryptography from Noisy Storage
• Location-Dependent Communications using Quantum Entanglement
• Unconditionally secure device-independent quantum key distribution with only two devices
• Fully Distrustful Quantum Cryptography
• A classical leash for a quantum system: Command of quantum systems via rigidity of CHSH games
• A Tight Lower Bound for the BB84-states Quantum-Position-Verification Protocol

Cited by in corpus (15)

• Self-testing of quantum systems: a review
• Fully device independent Conference Key Agreement
• Maximal nonlocality from maximal entanglement and mutually unbiased bases, and self-testing of two-qutrit quantum systems
• A framework for quantum-secure device-independent randomness expansion
• Robust self-testing of two-qubit states
• Device Independent Quantum Secret Sharing in Arbitrary Even Dimension
• 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
• Error-tolerant oblivious transfer in the noisy-storage model
• Device-independent quantum authorization based on the Clauser-Horne-Shimony-Holt game
• Randomness in nonlocal games between mistrustful players
• Quantum oblivious transfer: a short review
• Certifying the absence of quantum nonlocality