Position-Based Quantum Cryptography
51 items from renaller/awesome-position-based-quantum-cryptography ★26
-
-
Position-based quantum cryptography and catalytic computation (2016) eprints.illc.uva.nl
Chapter 5 independently generalises BB84 QPV to more input bases. Chapter 4 provides an efficient attack on the protocol based on interleaved unitaries.
-
Instantaneous non-local computation of low T-depth quantum circuits (2016) doi.org
Provides a general attack on QPV using an exponential amount of pre-shared EPR pairs in the number of T-gates or T-depth based on the circuit decomposition of the task unitary into Clifford+T gates.
-
Beating classical impossibility of position verification (2022) doi.org
Constructs a QPV protocol with only classical input and output information from the assumption that LWE is quantum-hard. Shows unconditional security in the random oracle model.
-
Relating non-local quantum computation to information theoretic cryptography (2023) doi.org
Connects $f$-routing to topics in classical cryptography, in particular conditional disclosure of secrets. Shows a sub-exponential upper bound for attacks for any $f$ and finds an $f$ that is believed to be outside of $\mathsf{P}$ (with pre-processing), but efficiently attacked.
-
Code-routing: A new attack on position verification (2023) doi.org
Provides a new attack on $f$-routing, connecting attacks to secret-sharing schemes and span programs, and showing that any $f \in \mathsf{Mod}_p\mathsf{L}$ (with pre-processing), for $p$ prime, can be attacked efficiently.
-
Complexity and entanglement in non-local computation and holography (2022) doi.org
Notes that the necessary attack resource requirements are controlled by the entangled part of the task unitary. Shows that for tasks where one side is classical input information, a doubly-logarithmic (later improved to logarithmic) lower bound and exponential upper bound (in…
-
The garden-hose model (2013) doi.org
Studies attacks on $f$-routing and introduces garden-hose complexity to connect attacks on $f$-routing to complexity theory. Provides many first results regarding that connection, for example that any $f \in \mathsf{L}$ (with pre-processing) can be attacked efficiently.
-
Position-based quantum cryptography: Impossibility and constructions (2011) doi.org
Shows security against unentangled attacks.
-
Bounds on instantaneous non-local quantum computation (2020) doi.org
Shows that any 2-qubit unitary can be attacked up to error $\varepsilon$ using $\log(1/\varepsilon)$ EPR pairs and that any hermitian bipartite binary controlled unitary can be attacked with 1 EPR pair. Shows logarithmic lower bound on entanglement entropy for general bipartite…
-
Quantum location verification in noisy channels (2010) doi.org
Studies QPV based on Bell states, GHZ states and entanglement swapping. Studies the effect of noise/decoherence.
-
Single-qubit loss-tolerant quantum position verification protocol secure against entangled attackers (2023) doi.org
Tightly characterises the secure region of the protocol depending on the loss and error rates.
-
Loss-tolerant quantum secure positioning with weak laser sources (2016) doi.org
Studies a version of the protocol with separable inputs. Proves full loss tolerance and studies practical implementation based on decoy states.
-
Popescu-Rohrlich correlations imply efficient instantaneous nonlocal quantum computation (2016) doi.org
Shows that if attackers share PR boxes, then any unitary can be attacked using only linear entanglement and a linear number of PR box uses.
-
Practical position-based quantum cryptography (2015) doi.org
Considers the case where the two input bases are related by a unitary $U$.
-
Loss-tolerant position-based quantum cryptography (2015) doi.org
Generalises BB84 QPV to more input bases and notes better loss tolerance properties because of it. Also discusses using decoy states and continuous variables for BB84 QPV.
-
Quantum tagging for tags containing secret classical data (2011) doi.org
Considers QPV in the setting when the verifiers and the prover pre-share a secret. Shows that then QPV is unconditionally secure by indefinitely expanding the secret using QKD.
-
Quantum tagging: Authenticating location via quantum information and relativistic signalling constraints (2011) doi.org
Introduces a rooster of different QPV protocols like BB84 QPV, $f$-routing, $f$-BB84 QPV and variations of them. Mentions entanglement-based attacks on some of them.
-
Insecurity of position-based quantum cryptography protocols against entanglement attacks (2011) doi.org
Proves insecurity of QPV protocols that were previously claimed secure and studies general principle underlying entanglement attacks. Studies variations of QPV protocols based on Bell/GHZ states and shows that using eigenstates other than Pauli $X$, $Y$, $Z$ leads to protocols…
-
Location-dependent communications using quantum entanglement (2010) doi.org
Introduces QPV in the academic literature, but incorrectly claims unconditional security. Studies QPV based on Bell states.
-
Towards experimental demonstration of quantum position verification using single photons (2025) doi.org
A first demonstration experiment of QPV using the SWAP protocol, with single photons from a single semiconductor quantum dot in an optical microcavity.
-
Practically secure quantum position verification (2021) doi.org
Gives an overview over the existing protocols at the time and mixes elements of them to obtain different variations of those protocols.
-
A monogamy-of-entanglement game with applications to device-independent quantum cryptography (2013) doi.org
Shows a tight upper bound for unentangled attacks, parallel repetition and a linear lower bound for the repeated protocol.
-
Simplified instantaneous non-local quantum computation with applications to position-based cryptography (2011) doi.org
Provides a general attack on QPV based on port-based teleportation, using an exponential amount of pre-shared EPR pairs in the number of input qubits. Also provides a QPV protocol with a provably linear lower bound.
-
-
A single-qubit position verification protocol that is secure against multi-qubit attacks (2022) doi.org
Shows a robust linear lower bound on the dimension of the attack resource state.
-
Quantum position verification in bounded-attack-frequency model (2016) doi.org
Considers BB84 QPV with non-simultaneous arrival times of input information at the prover (the basis being encoded in which side arrived first). Discusses the general port-based attack in this setting.
-
Geometry of Banach spaces: A new route towards position based cryptography (2021) doi.org
Provides a new protocol based on applying a phase unitary depending on the classical input information. Shows an exponential lower bound under a regularity assumption on the attack, and an exponential lower bound conditioned on an, as yet, unresolved Banach space geometry…
-
Quantum tasks in holography (2019) doi.org
Connects QPV to the AdS/CFT conjecture by noting that a QPV protocol in the bulk must have an equivalent protocol in the boundary. The boundary implementation turns out to be a valid attack on the bulk QPV protocol, implementing it non-locally.
-
Security of position-based quantum cryptography limits Hamiltonian simulation via holography (2024) doi.org
Connects QPV to Hamiltonian simulation. Shows that if a superlinear lower bound can be shown for QPV attacks, then there are new fundamental lower bounds for resources required for one Hamiltonian to simulate another.
- next page of items loading…