Self-testing of universal and fault-tolerant sets of quantum gates
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
Unconditional security in quantum cryptography
Journal of the ACM (JACM)
Splitting information securely with entanglement
Information and Computation
Quantum Testers for Hidden Group Properties
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Generalized self-testing and the security of the 6-state protocol
TQC'10 Proceedings of the 5th conference on Theory of quantum computation, communication, and cryptography
A practical trojan horse for bell-inequality-based quantum cryptography
Quantum Information & Computation
Security of quantum key distribution with imperfect devices
Quantum Information & Computation
Can quantum cryptography imply quantum mechanics?
Quantum Information & Computation
Self testing quantum apparatus
Quantum Information & Computation
Self-testing of quantum circuits
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part I
Efficient device-independent quantum key distribution
EUROCRYPT'10 Proceedings of the 29th Annual international conference on Theory and Applications of Cryptographic Techniques
Quantum Information & Computation
Quantum Testers for Hidden Group Properties
Fundamenta Informaticae - Machines, Computations and Universality, Part II
On the security of interferometric quantum key distribution
TPNC'12 Proceedings of the First international conference on Theory and Practice of Natural Computing
Robust device independent quantum key distribution
Proceedings of the 5th conference on Innovations in theoretical computer science
| Hi-index | 0.00 |
Quantum key distribution, first proposed by Bennett and Brassard, provides a possible key distribution scheme whose security depends only on the quantum laws of physics. So far the protocol has been proved secure even under channel noise and detector faults of the receiver, but is vulnerable if the photon source used is imperfect. In this paper we propose and give a concrete design for a new concept, "self-checking source", which requires the manufacturer of the photon source to provide certain tests; these tests are designed such that, if passed, the source is guaranteed to be adequate for the security of the quantum key distribution protocol, even though the testing devices may not be built to the original specification. The main mathematical result is a structural theorem which states that, for any state in a Hilbert space, if certain EPR-type equations are satisfied, the state must be essentially the orthogonal sum of EPR pairs.