Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Optics Express

Finite-key bound for semi-device-independent quantum key distribution

Chun Hua Zhou, Peng Xu, Wan‐Su Bao, Yang Wang, Yingying Zhang, Mu-Sheng Jiang, Hong-Wei Li

Published Jul 10, 2017• 21 citations
Publisher

Abstract

The device-independent (DI) quantum key distribution (QKD) protocol requires minimal assumptions about the devices and its security relies on the violation of Bell inequalities, making it hard to realize in real world. Semi-device-independent (SDI) QKD protocol confines quantum state within finite dimensional Hilbert space, thus easier for implementation with existing experimental technology. In this paper, we propose a practical SDI prepare-and-measure BB84 protocol. By introducing min entropy for security proof, we obtain a security bound under the practical condition with finite resources. Numerical simulations imply the finite-key effect can not be ignored in the forthcoming SDI QKD experiment.

DOI
10.1364/oe.25.016971

Related papers

Security of a practical semi-device-independent quantum key distribution protocol against collective attacks

Yang Wang, Wan‐Su Bao, Hong-Wei Li +2 more

Similar to device-independent quantum key distribution (DI-QKD), semi-device-independent quantum key distribution (SDI-QKD) provides secure key distribution without any assumptions about the internal workings of the QKD devices. The only assumption is that the dimension of the Hilbert space is bounded. But SDI-QKD can be implemented in a one-way prepare-and-measure configuration without entanglement compared with DI-QKD. We propose a practical SDI-QKD protocol with four preparation states and three measurement bases by considering the maximal violation of dimension witnesses and specific processes of a QKD protocol. Moreover, we prove the security of the SDI-QKD protocol against collective attacks based on the min-entropy and dimension witnesses. We also show a comparison of the secret key rate between the SDI-QKD protocol and the standard QKD.

Chinese Physics B•Jul 31, 2014•11 citations

Proof of Security of a Semi-Device-Independent Quantum Key Distribution Protocol

Peng Xu, Wan‐Su Bao, Hong-Wei Li +2 more

Semi-device-independent quantum key distribution (SDI-QKD) has been proposed by applying the quantum dimension correlation, and the security relies on the violation of quantum dimension witness inequalities. We prove the security of the SDI-QKD protocol under the depolarization channel by considering the quantum dimension witness inequalities and minimum entropy and the specific process of the QKD protocol, combining with a four-quantum-state preparation and three measurement bases. We also provide the relationship between the dimension witness value, the error rate and the security key rate by the numerical simulation.

Chinese Physics Letters•Feb 1, 2017•5 citations

On the security of semi-device-independent QKD protocols

Anubhav Chaturvedi, Maharshi Ray, Ryszard Veynar +1 more

While fully device-independent security in (BB84-like) prepare-and-measure quantum key distribution (QKD) is impossible, it can be guaranteed against individual attacks in a semi-device-independent (SDI) scenario, wherein no assumptions are made on the characteristics of the hardware used except for an upper bound on the dimension of the communicated system. Studying security under such minimal assumptions is especially relevant in the context of the recent quantum hacking attacks wherein the eavesdroppers can not only construct the devices used by the communicating parties but are also able to remotely alter their behavior. In this work, we study the security of a SDIQKD protocol based on the prepare-and-measure quantum implementation of a well-known cryptographic primitive, the random access code (RAC). We consider imperfect detectors and establish the critical values of the security parameters (the observed success probability of the RAC and the detection efficiency) required for guaranteeing security against eavesdroppers with and without quantum memory. Furthermore, we suggest a minimal characterization of the preparation device in order to lower the requirements for establishing a secure key.

arXiv:1504.00939•Quantum Information Processing•Apr 21, 2018•19 citations

Semi-device-independent security of one-way quantum key distribution

Marcin Pawłowski, Nicolas Brunner

By testing nonlocality, the security of entanglement-based quantum key distribution (QKD) can be enhanced to being ``device-independent.'' Here we ask whether such a strong form of security could also be established for one-way (prepare and measure) QKD. While fully device-independent security is impossible, we show that security can be guaranteed against individual attacks in a semi-device-independent scenario. In the latter, the devices used by the trusted parties are noncharacterized, but the dimensionality of the quantum systems used in the protocol is assumed to be bounded. Our security proof relies on the analogies between one-way QKD, dimension witnesses, and random-access codes.

arXiv:1103.4105•Physical Review A•Jul 15, 2011•289 citations

Secrecy in Prepare-and-Measure Clauser-Horne-Shimony-Holt Tests with a Qubit Bound

Erik Woodhead, Stefano Pironio

The security of device-independent (DI) quantum key distribution (QKD) protocols relies on the violation of Bell inequalities. As such, their security can be established based on minimal assumptions about the devices, but their implementation necessarily requires the distribution of entangled states. In a setting with fully trusted devices, any entanglement-based protocol is essentially equivalent to a corresponding prepare-and-measure protocol. This correspondence, however, is not generally valid in the DI setting unless one makes extra assumptions about the devices. Here we prove that a known tight lower bound on the min entropy in terms of the Clauser-Horne-Shimony-Holt Bell correlator, which has featured in a number of entanglement-based DI QKD security proofs, also holds in a prepare-and-measure setting, subject only to the assumption that the source is limited to a two-dimensional Hilbert space.

arXiv:1507.02889•Physical Review Letters•Oct 6, 2015•45 citations

Bounds on semi-device-independent quantum random-number expansion capabilities

Vaisakh Mannalath, Anirban Pathak

The randomness expansion capabilities of semi-device-independent (SDI) prepare and measure protocols are analyzed under the sole assumption that the Hilbert state dimension is known. It is explicitly proved that the maximum certifiable entropy that can be obtained through this set of protocols is $\ensuremath{-}{log}_{2}[\frac{1}{2}(1+\frac{1}{\sqrt{3}})]$ and the same is independent of the dimension witnesses used to certify the protocol. The minimum number of preparation and measurement settings required to achieve this entropy is also proven. An SDI protocol that generates the maximum output entropy with the least amount of input setting is provided. An analytical relationship between the entropy generated and the witness value is obtained. It is also established that certifiable entropy can be generated as soon as the dimension witness crosses the classical bound, making the protocol noise-robust and useful in practical applications.

arXiv:2111.14082•Physical Review A•Feb 23, 2022•8 citations
The device-independent (DI) quantum key distribution (QKD) protocol requires minimal assumptions about the devices and its security relies on the violation of Bell inequalities, making it hard to realize in real world. Semi-device-independent (SDI) QKD protocol confines quantum state within finite dimensional Hilbert space, thus easier for implementation with existing experimental technology. In this paper, we propose a practical SDI prepare-and-measure BB84 protocol. By introducing min entropy for security proof, we obtain a security bound under the practical condition with finite resources. Numerical simulations imply the finite-key effect can not be ignored in the forthcoming SDI QKD experiment.
Similar to device-independent quantum key distribution (DI-QKD), semi-device-independent quantum key distribution (SDI-QKD) provides secure key distribution without any assumptions about the internal workings of the QKD devices. The only assumption is that the dimension of the Hilbert space is bounded. But SDI-QKD can be implemented in a one-way prepare-and-measure configuration without entanglement compared with DI-QKD. We propose a practical SDI-QKD protocol with four preparation states and three measurement bases by considering the maximal violation of dimension witnesses and specific processes of a QKD protocol. Moreover, we prove the security of the SDI-QKD protocol against collective attacks based on the min-entropy and dimension witnesses. We also show a comparison of the secret key rate between the SDI-QKD protocol and the standard QKD.
Semi-device-independent quantum key distribution (SDI-QKD) has been proposed by applying the quantum dimension correlation, and the security relies on the violation of quantum dimension witness inequalities. We prove the security of the SDI-QKD protocol under the depolarization channel by considering the quantum dimension witness inequalities and minimum entropy and the specific process of the QKD protocol, combining with a four-quantum-state preparation and three measurement bases. We also provide the relationship between the dimension witness value, the error rate and the security key rate by the numerical simulation.
While fully device-independent security in (BB84-like) prepare-and-measure quantum key distribution (QKD) is impossible, it can be guaranteed against individual attacks in a semi-device-independent (SDI) scenario, wherein no assumptions are made on the characteristics of the hardware used except for an upper bound on the dimension of the communicated system. Studying security under such minimal assumptions is especially relevant in the context of the recent quantum hacking attacks wherein the eavesdroppers can not only construct the devices used by the communicating parties but are also able to remotely alter their behavior. In this work, we study the security of a SDIQKD protocol based on the prepare-and-measure quantum implementation of a well-known cryptographic primitive, the random access code (RAC). We consider imperfect detectors and establish the critical values of the security parameters (the observed success probability of the RAC and the detection efficiency) required for guaranteeing security against eavesdroppers with and without quantum memory. Furthermore, we suggest a minimal characterization of the preparation device in order to lower the requirements for establishing a secure key.
By testing nonlocality, the security of entanglement-based quantum key distribution (QKD) can be enhanced to being ``device-independent.'' Here we ask whether such a strong form of security could also be established for one-way (prepare and measure) QKD. While fully device-independent security is impossible, we show that security can be guaranteed against individual attacks in a semi-device-independent scenario. In the latter, the devices used by the trusted parties are noncharacterized, but the dimensionality of the quantum systems used in the protocol is assumed to be bounded. Our security proof relies on the analogies between one-way QKD, dimension witnesses, and random-access codes.
The security of device-independent (DI) quantum key distribution (QKD) protocols relies on the violation of Bell inequalities. As such, their security can be established based on minimal assumptions about the devices, but their implementation necessarily requires the distribution of entangled states. In a setting with fully trusted devices, any entanglement-based protocol is essentially equivalent to a corresponding prepare-and-measure protocol. This correspondence, however, is not generally valid in the DI setting unless one makes extra assumptions about the devices. Here we prove that a known tight lower bound on the min entropy in terms of the Clauser-Horne-Shimony-Holt Bell correlator, which has featured in a number of entanglement-based DI QKD security proofs, also holds in a prepare-and-measure setting, subject only to the assumption that the source is limited to a two-dimensional Hilbert space.
The randomness expansion capabilities of semi-device-independent (SDI) prepare and measure protocols are analyzed under the sole assumption that the Hilbert state dimension is known. It is explicitly proved that the maximum certifiable entropy that can be obtained through this set of protocols is $\ensuremath{-}{log}_{2}[\frac{1}{2}(1+\frac{1}{\sqrt{3}})]$ and the same is independent of the dimension witnesses used to certify the protocol. The minimum number of preparation and measurement settings required to achieve this entropy is also proven. An SDI protocol that generates the maximum output entropy with the least amount of input setting is provided. An analytical relationship between the entropy generated and the witness value is obtained. It is also established that certifiable entropy can be generated as soon as the dimension witness crosses the classical bound, making the protocol noise-robust and useful in practical applications.