FVQKD machine-checks finite-key BB84 security in Rocq
The admit-free proof surfaces unstated side conditions, including a missing branch in the published argument.
Stories per day · 30 days
14 stories, newest first · one card per story
Stories tagged #quantum-cryptography
Quantum protocols cut communication for equality, majority, and AND
Entanglement-assisted three-party equality uses about 1.633n qubits, versus at least 3n without it.
Collusion-Secure Semi-Quantum Secret Sharing Scheme using a Quantum Third Party
A new semi-quantum secret sharing protocol resists collusion between a quantum third party and a dishonest participant.
Quantum Fire with Delegated Cloning
Researchers propose delegatable quantum fire, requiring a separate cloning key, with two classical-oracle constructions including torch-fire using unclonable quantum torch keys.
Constant-Rate Certified Deletion
Framework achieves first constant-rate certified deletion in the plain model across BB84-style and coset-state primitives, cutting qubit overhead per encrypted bit.
Time-space lower bounds for breaking quantum cryptography
Researchers prove near-optimal time-space lower bounds for breaking quantum cryptography in the random oracle model.
Robust and leakage-resilient device-independent oblivious transfer in MiniQCryp
Paper constructs device-independent oblivious transfer and bit commitment secure against quantum adversaries using untrusted devices.
Need for Coherent Access in Constructing Quantum Cryptography
Oracle separation shows quantum-secure one-way functions can exist without long pseudorandom states, proving coherent oracle access is required for PRS constructions.
Query-Limited RAM Programs and their Applications
Query-limited RAM programs extend quantum one-time programs to stateful, policy-bounded computation.
A Fourier-Label Information-Loss Barrier for Dihedral Coset Algorithms
A no-go theorem shows Regev-style dihedral coset algorithms fail if they discard too many Fourier-label bits.
Path-Finding, Orbit State Preparation, and the Security of Invariant Quantum Money
The paper argues invariant quantum money security hinges on a falsifiable state-preparation assumption, not path-finding alone.
Breaking the Bounded Entanglement Barrier for Quantum Position Verification
A BB84-based quantum position verification protocol stays secure against LOCC adversaries with arbitrary finite entanglement.
Preventing quantum downgrade attacks against IPsec
Cloudflare and the IETF added IPsec downgrade protection after researchers found a design flaw letting quantum attackers decrypt PQ-capable tunnel traffic.
3
EFI Pairs Without One-Way Puzzles: Oracle Separations from Communication Complexity
Theorists build a classical oracle where one-way puzzles fail yet EFI pairs survive, separating two candidate minimal assumptions of quantum cryptography.