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

Reversible Holographic Recording Protocol (RHRP): A Lightweight Theoretical Framework for Process Verification in Quantum Key Distribution

Yueshui Lin

Published Jan 1, 2025• 0 citations
Publisher
DOI
10.13140/rg.2.2.10269.78562

Related papers

RRDPSQKD as a next-generation quantum key distribution protocol

Toshihiko Sasaki

The Japan Society of Applied Physics•Feb 3, 2017•0 citations

Enhanced Lightweight Quantum Key Distribution Protocol for Improved Efficiency and Security

Ashutosh Bhatia, Sainath Bitragunta, Kamlesh Tiwari

Quantum Key Distribution (QKD) provides secure communication by leveraging quantum mechanics, with the BB84 protocol being one of its most widely adopted implementations. However, the classical post-processing steps in BB84, such as sifting, error correction, and key verification, often result in significant communication overhead, limiting its efficiency and scalability. In this work, we propose three key optimizations for BB84: (1) PRNG-based predetermined key bit positioning, which eliminates redundant bit exchanges during sifting, (2) hash-based subsequence comparison, enabling lightweight and efficient key verification, and (3) adaptive basis reconciliation, which minimizes the communication costs associated with basis matching. The proposed optimizations achieve a 50% reduction in communication overhead for large key sizes compared to traditional QKD protocols, as demonstrated through rigorous performance analysis. While the focus of this work is on the BB84 protocol, these optimizations are also directly applicable to a broader class of Discrete-Variable QKD (DV-QKD) protocols, such as six-state, B92, and E91, which share a fundamentally similar post-processing structure. This generality highlights the modularity and adaptability of the proposed methods across diverse QKD implementations. The proposed optimizations enhance post-processing efficiency and scalability, enabling practical deployment in bandwidth-limited environments like IoT networks, secure financial systems, and defense communications, thereby supporting broader adoption of quantum communication systems.

IEEE Open Journal of the Communications Society•Jan 1, 2025•17 citations

QTPi for Assurance of Quantum Key Distribution Protocols

Rajagopal Nagarajan, Aakash Warke

Quantum Key Distribution (QKD) promises information-theoretic security, yet practical implementations ranging from point-to-point links to large-scale networks can introduce protocol and architectural vulnerabilities that undermine this guarantee. We present a formal verification framework based on QTPi, a process calculus for distributed quantum systems, to model and verify QKD protocols at the Quantum Link Layer (QLL). Using BB84 as a case study, we specify concurrent processes for Alice, Bob, and supporting components, and formally check functional requirements defined within the Innovate UK project QAssure, such as key agreement (QLL-EM-1). Our approach integrates symbolic simulation and formal assertions to automatically verify that critical QLL properties hold across executions. This establishes a systematic methodology for providing assurance of QKD protocols in realistic settings and lays the foundation for future quantitative verification of probabilistic security guarantees, including resilience to eavesdropping and bounded key failure rates.

IEEE Conference on Pervasive and Intelligent Computing (PICom)•Oct 21, 2025•0 citations

Unconditionally secure relativistic quantum key distribution protocol

Yang Li, Sushuai Zhuang Zhuang

SPIE Newsroom•Nov 2, 2011•0 citations

Beyond the Quantum Promise: A Security Analysis of Classical Control in Quantum Key Distribution

Ali Hamza Malik, Raja Hasnain Anwar, Muhammad Taqi Raza

Quantum Key Distribution (QKD) protocols provide information-theoretic security by using quantum mechanical principles. Yet QKD is fundamentally a hybrid protocol: its security depends on the correct integration of the quantum phase with classical post-processing. While ETSI and ITUT specifications standardize QKD architectures and interfaces, they evaluate protocol security in isolation, leaving cross-layer interactions as an underexplored attack surface. This paper introduces a formal verification framework that holistically models QKD protocols based on ETSI and ITUT QKD specifications. Our model is the first hybrid QKD protocol model that supports automated analysis of protocollevel security focusing on how classical operations influence the security guarantees provided by the quantum phase of the QKD protocol. We formalize a comprehensive symbolic model of QKD protocols, based on ETSI and ITU-T QKD specifications, in Tamarin, an automated protocol verifier. Applying this framework, we obtain formal evidence of three specification-level vulnerabilities in ETSI- and ITU-T-grounded protocol models under adversary Eve+: subverted entanglement injection, basis-deferred measurement, and message reflection. Each arises from a classical control-plane omission in the procedure text and is established under a symbolic abstraction rather than as a claim about all practical deployments. We introduce two protocol improvements: measurement commitment and identitybound message authentication codes (MACs). Tamarin verification confirms that these countermeasures eliminate the identified vulnerabilities under Eve+. We have communicated our results and recommendations to relevant standardization organizations.

quant-pharXiv:2608.07626•Aug 10, 2026•0 citations

Enhanced Cloud Data Security with Lightweight Chaotic Map and Quantum Key Distribution

M Varshana Devi, G Aasha, P Vimal +2 more

In today’s digital landscape, ensuring the security of data transmitted and stored in the cloud is paramount. Traditional encryption methods face challenges in scalability and susceptibility to quantum threats. This abstract presents a novel approach to cloud data security leveraging lightweight chaos encryption and quantum key distribution (QKD). The proposed mechanism combines the dynamic properties of chaos encryption, which offers high entropy and resistance to conventional attacks, with the quantum-level security provided by QKD. By integrating chaos-based encryption techniques with QKD protocols, our system achieves enhanced security for data communications in cloud environments. Furthermore, the lightweight nature of chaos encryption ensures efficient utilization of computational resources, making it suitable for cloud-based applications. This abstract outlines the theoretical framework and operational principles of the proposed security mechanism, highlighting its potential to address the evolving challenges of data security in cloud computing.

International Conference on Knowledge Engineering and Communication Systems (ICKECS)•Apr 18, 2024•0 citations
Quantum Key Distribution (QKD) provides secure communication by leveraging quantum mechanics, with the BB84 protocol being one of its most widely adopted implementations. However, the classical post-processing steps in BB84, such as sifting, error correction, and key verification, often result in significant communication overhead, limiting its efficiency and scalability. In this work, we propose three key optimizations for BB84: (1) PRNG-based predetermined key bit positioning, which eliminates redundant bit exchanges during sifting, (2) hash-based subsequence comparison, enabling lightweight and efficient key verification, and (3) adaptive basis reconciliation, which minimizes the communication costs associated with basis matching. The proposed optimizations achieve a 50% reduction in communication overhead for large key sizes compared to traditional QKD protocols, as demonstrated through rigorous performance analysis. While the focus of this work is on the BB84 protocol, these optimizations are also directly applicable to a broader class of Discrete-Variable QKD (DV-QKD) protocols, such as six-state, B92, and E91, which share a fundamentally similar post-processing structure. This generality highlights the modularity and adaptability of the proposed methods across diverse QKD implementations. The proposed optimizations enhance post-processing efficiency and scalability, enabling practical deployment in bandwidth-limited environments like IoT networks, secure financial systems, and defense communications, thereby supporting broader adoption of quantum communication systems.
Quantum Key Distribution (QKD) promises information-theoretic security, yet practical implementations ranging from point-to-point links to large-scale networks can introduce protocol and architectural vulnerabilities that undermine this guarantee. We present a formal verification framework based on QTPi, a process calculus for distributed quantum systems, to model and verify QKD protocols at the Quantum Link Layer (QLL). Using BB84 as a case study, we specify concurrent processes for Alice, Bob, and supporting components, and formally check functional requirements defined within the Innovate UK project QAssure, such as key agreement (QLL-EM-1). Our approach integrates symbolic simulation and formal assertions to automatically verify that critical QLL properties hold across executions. This establishes a systematic methodology for providing assurance of QKD protocols in realistic settings and lays the foundation for future quantitative verification of probabilistic security guarantees, including resilience to eavesdropping and bounded key failure rates.
Quantum Key Distribution (QKD) protocols provide information-theoretic security by using quantum mechanical principles. Yet QKD is fundamentally a hybrid protocol: its security depends on the correct integration of the quantum phase with classical post-processing. While ETSI and ITUT specifications standardize QKD architectures and interfaces, they evaluate protocol security in isolation, leaving cross-layer interactions as an underexplored attack surface. This paper introduces a formal verification framework that holistically models QKD protocols based on ETSI and ITUT QKD specifications. Our model is the first hybrid QKD protocol model that supports automated analysis of protocollevel security focusing on how classical operations influence the security guarantees provided by the quantum phase of the QKD protocol. We formalize a comprehensive symbolic model of QKD protocols, based on ETSI and ITU-T QKD specifications, in Tamarin, an automated protocol verifier. Applying this framework, we obtain formal evidence of three specification-level vulnerabilities in ETSI- and ITU-T-grounded protocol models under adversary Eve+: subverted entanglement injection, basis-deferred measurement, and message reflection. Each arises from a classical control-plane omission in the procedure text and is established under a symbolic abstraction rather than as a claim about all practical deployments. We introduce two protocol improvements: measurement commitment and identitybound message authentication codes (MACs). Tamarin verification confirms that these countermeasures eliminate the identified vulnerabilities under Eve+. We have communicated our results and recommendations to relevant standardization organizations.
In today’s digital landscape, ensuring the security of data transmitted and stored in the cloud is paramount. Traditional encryption methods face challenges in scalability and susceptibility to quantum threats. This abstract presents a novel approach to cloud data security leveraging lightweight chaos encryption and quantum key distribution (QKD). The proposed mechanism combines the dynamic properties of chaos encryption, which offers high entropy and resistance to conventional attacks, with the quantum-level security provided by QKD. By integrating chaos-based encryption techniques with QKD protocols, our system achieves enhanced security for data communications in cloud environments. Furthermore, the lightweight nature of chaos encryption ensures efficient utilization of computational resources, making it suitable for cloud-based applications. This abstract outlines the theoretical framework and operational principles of the proposed security mechanism, highlighting its potential to address the evolving challenges of data security in cloud computing.