A proof of the security of quantum key distribution (extended abstract)

Authors:
Eli Biham;Michel Boyer;P. Oscar Boykin;Tal Mor;Vwani Roychowdhury
Affiliations:
Computer Science Department, Technion, Haifa 32000, Israel;DIRO, Université de Montréal, Montréal, Canada;Dept. of Electrical Engineering, UCLA, Los Angeles, CA;Dept. of Electrical Engineering, UCLA, Los Angeles, CA and Dept. of Electrical Engineering, College of Judea and Samaria, Ariel, Israel;Dept. of Electrical Engineering, College of Judea and Samaria, Ariel, Israel
Venue:
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
Year:
2000

Citing 6
Cited 19

Experimental quantum cryptography

Journal of Cryptology - Eurocrypt '90
Security of quantum protocols against coherent measurements

STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer

SIAM Journal on Computing
On the Security of the Quantum Oblivious Transfer and Key Distribution Protocols

CRYPTO '95 Proceedings of the 15th Annual International Cryptology Conference on Advances in Cryptology
Conjugate coding

ACM SIGACT News - A special issue on cryptography
Security aspects of practical quantum cryptography

EUROCRYPT'00 Proceedings of the 19th international conference on Theory and application of cryptographic techniques

A new protocol and lower bounds for quantum coin flipping

STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
PSPACE has constant-round quantum interactive proof systems

Theoretical Computer Science - Algorithms,automata, complexity and games
Splitting information securely with entanglement

Information and Computation
A new protocol and lower bounds for quantum coin flipping

Journal of Computer and System Sciences - STOC 2001
Application of synchronous dynamic encryption system in mobile wireless domains

Proceedings of the 1st ACM international workshop on Quality of service & security in wireless and mobile networks
A Logic Framework for Verification of Timed Algorithms

Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Security aspects of practical quantum cryptography

EUROCRYPT'00 Proceedings of the 19th international conference on Theory and application of cryptographic techniques
Proof of unconditional security of six-state quatum key distribution scheme

Quantum Information & Computation
Security of quantum key distribution with imperfect devices

Quantum Information & Computation
Some attacks on quantum-based cryptographic protocols

Quantum Information & Computation
Equiangular spherical codes in quantum cryptography

Quantum Information & Computation
Information vs. disturbance in dimension D

Quantum Information & Computation
Sequential attacks against differential-phase-shift quantum key distribution with weak coherent states

Quantum Information & Computation
Security of quantum key distribution using weak coherent states with nonrandom phases

Quantum Information & Computation
Faked states attack using detector efficiency mismatch on SARG04, phase-time, DPSK, and Ekert protocols

Quantum Information & Computation
Security proof of quantum key distribution with detection efficiency mismatch

Quantum Information & Computation
The universal composable security of quantum key distribution

TCC'05 Proceedings of the Second international conference on Theory of Cryptography
Probabilistic quantum key distribution

Quantum Information & Computation
A Logic Framework for Verification of Timed Algorithms

Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata

Quantified Score

Hi-index	0.01

A proof of the security of quantum key distribution (extended abstract)

Quantified Score

Visualization

Abstract