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

International Journal of Theoretical Physics

The Modeling Library of Eavesdropping Methods in Quantum Cryptography Protocols by Model Checking

Fan Yang, Guowu Yang, Yu‐Jie Hao

Published Mar 8, 2016• 6 citations
Publisher
DOI
10.1007/s10773-016-2969-z

Related papers

Coherent eavesdropping strategies for the four state quantum cryptography protocol

J. I. Cirac, Nicolas Gisin

arXiv:quant-ph/9702002•Physics Letters A•Apr 1, 1997•100 citations

Security proof for quantum cryptography against entanglement-measurement attack

Zhaoxu Ji, Huanguo Zhang

Entanglement-measurement attack is one of the most famous attacks against quantum cryptography. In quantum cryptography protocols, eavesdropping checking is an effective means to resist this attack. There are currently two commonly used eavesdropping checking methods: one is to prepare two sets of non-orthogonal single-particle states as decoy states, and determine whether there are eavesdroppers in the quantum channel by comparing the states obtained by measurements with the original states; The other is to prepare two sets of non-orthogonal entangled states and use their entanglement correlations to judge whether there are eavesdroppers in the quantum channel. In this paper, we theoretically demonstrate how quantum cryptography can utilize these two eavesdropping checking methods to resist entanglement-measurement attacks. We take the quantum cryptography protocols based on maximally entangled states as examples to demonstrate the proof process, transitioning from qubit-based protocols to qudit-based ones.

arXiv:2012.14275•Dec 24, 2020•4 citations

Security Against Eavesdropping in Quantum Cryptography

Norbert Lütkenhaus, Stephen Mark Barnett

Springer eBooks•Jan 1, 1997•1 citation

A Quantum Secret Sharing Scheme with High Efficiency Based on Bell States

Kai Li, Liu Yuanyuan, He Kehai +1 more

To improve the security of quantum cryptography protocol and reduce its cost, this paper presented a new means after analyzing the process of the detection of eavesdropping, and offered a quantum secret sharing protocol to argue for it. Players employed the travel particles carrying secret messages to detect eavesdropping, and leaked nothing about secret messages. Investigation shows that players can make the quantum cryptography protocol not only with theoretic efficiency of 100%, but also secure in case of none checking particles made for detection of eavesdropping only.

International Symposium on Information Science and Engineering•Dec 1, 2012•0 citations

Security Analysis of Quantum Cryptographic Protocols

Tao Shang, Jianwei Liu

Springer eBooks•Jan 1, 2020•0 citations

Exploring Quantum Key Distribution

Shantanu Sudhir Gujar

This paper explores the field of quantum key distribution (QKD) through the simulation of the BB84 protocol, a foundational breakthrough in secure communication. As quantum computing advances, traditional encryption schemes become increasingly vulnerable, highlighting the urgent need for quantum-resilient cryptographic methods. The BB84 protocol leverages quantum mechanics to enable secure key exchange between parties, with built-in mechanisms to detect eavesdropping. By employing the SimulaQron framework and CQC libraries, this research simulates the BB84 protocol in a peer-to-peer setting, showcasing its effectiveness in generating secure encryption keys and ensuring private communication. Additionally, this work provides valuable insights into programming within the quantum paradigm and establishes a platform for future developments in quantum cryptography.

DMIHER International Conference on Artificial Intelligence in Healthcare, Education and Industry (IDICAIHEI)•Nov 29, 2024•7 citations
Entanglement-measurement attack is one of the most famous attacks against quantum cryptography. In quantum cryptography protocols, eavesdropping checking is an effective means to resist this attack. There are currently two commonly used eavesdropping checking methods: one is to prepare two sets of non-orthogonal single-particle states as decoy states, and determine whether there are eavesdroppers in the quantum channel by comparing the states obtained by measurements with the original states; The other is to prepare two sets of non-orthogonal entangled states and use their entanglement correlations to judge whether there are eavesdroppers in the quantum channel. In this paper, we theoretically demonstrate how quantum cryptography can utilize these two eavesdropping checking methods to resist entanglement-measurement attacks. We take the quantum cryptography protocols based on maximally entangled states as examples to demonstrate the proof process, transitioning from qubit-based protocols to qudit-based ones.
To improve the security of quantum cryptography protocol and reduce its cost, this paper presented a new means after analyzing the process of the detection of eavesdropping, and offered a quantum secret sharing protocol to argue for it. Players employed the travel particles carrying secret messages to detect eavesdropping, and leaked nothing about secret messages. Investigation shows that players can make the quantum cryptography protocol not only with theoretic efficiency of 100%, but also secure in case of none checking particles made for detection of eavesdropping only.
This paper explores the field of quantum key distribution (QKD) through the simulation of the BB84 protocol, a foundational breakthrough in secure communication. As quantum computing advances, traditional encryption schemes become increasingly vulnerable, highlighting the urgent need for quantum-resilient cryptographic methods. The BB84 protocol leverages quantum mechanics to enable secure key exchange between parties, with built-in mechanisms to detect eavesdropping. By employing the SimulaQron framework and CQC libraries, this research simulates the BB84 protocol in a peer-to-peer setting, showcasing its effectiveness in generating secure encryption keys and ensuring private communication. Additionally, this work provides valuable insights into programming within the quantum paradigm and establishes a platform for future developments in quantum cryptography.