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

arXiv:2505.14243 · IET Quantum Communication

Device‐Independent Quantum Key Distribution: Protocols, Quantum Games and Security

Syed M. Arslan, Saif M. Al-Kuwari, M. T. Rahim, Hashir Kuniyil

Published Jan 1, 2026• 6 citations
arXivHTMLPDF

Abstract

ABSTRACT Quantum key distribution (QKD) is based on the laws of quantum mechanics to enable provably secure communication. Despite its theoretical security promise, practical QKD systems are vulnerable to serious attacks, including side‐channel attacks and detector loopholes, and assumes a trusted device characterisation. Device‐independent quantum key distribution (DIQKD) overcomes these limitations by relying solely on observed nonlocal correlations, certified through Bell inequality violations, thereby removing assumptions about the internal workings of the measurement devices. In this paper, we first review the foundational principles underlying DIQKD, including Bell tests and security definitions. We then examine a range of protocol designs, including CHSH‐based schemes, and non‐local game frameworks, alongside with their security proofs. We also assess recent experimental implementations and discuss source architectures, detection technologies and finite‐key analyses. Finally, we identify current open problems, such as noise tolerance, generation rates and integration with quantum networks and outline promising directions for future research to realize robust high‐performance DIQKD.

DOI
10.1049/qtc2.70030

Related papers

Quantum Key Distribution Protocols with Device-Independent Security

Jincheng Zhang

This paper explores the design and theoretical foundations of quantum key distribution (QKD) protocols engineered for device-independent security. The core argument presented is that achieving unconditional security in QKD is possible without relying on the assumption of perfect hardware, a limitation inherent in many existing protocols. We propose a framework leveraging Bell inequality violations to establish secure key exchange, offering a fundamentally different approach compared to traditional protocols. This approach aims to mitigate the risks associated with side-channel attacks and device imperfections. The protocol outlined here represents a significant step towards realizing truly robust and secure quantum communication systems, offering a pathway for building cryptographic infrastructure resilient to evolving threats. The key contributions lie in the theoretical rigor applied to device independence and the utilization of Bell tests as a core mechanism for establishing security. The presented model offers a starting point for future research and development in this critical area of quantum cryptography.

•Aug 31, 2026•0 citations

A device-independent quantum key distribution system for distant users

Wei Zhang, Tim van Leent, Kai Redeker +8 more

Abstract Device-independent quantum key distribution (DIQKD) enables the generation of secret keys over an untrusted channel using uncharacterized and potentially untrusted devices 1–9 . The proper and secure functioning of the devices can be certified by a statistical test using a Bell inequality 10–12 . This test originates from the foundations of quantum physics and also ensures robustness against implementation loopholes 13 , thereby leaving only the integrity of the users’ locations to be guaranteed by other means. The realization of DIQKD, however, is extremely challenging—mainly because it is difficult to establish high-quality entangled states between two remote locations with high detection efficiency. Here we present an experimental system that enables for DIQKD between two distant users. The experiment is based on the generation and analysis of event-ready entanglement between two independently trapped single rubidium atoms located in buildings 400 metre apart 14 . By achieving an entanglement fidelity of $$ {\mathcal F} \,\ge 0.892(23)$$ ℱ ≥ 0.892 ( 23 ) and implementing a DIQKD protocol with random key basis 15 , we observe a significant violation of a Bell inequality of S = 2.578(75)—above the classical limit of 2—and a quantum bit error rate of only 0.078(9). For the protocol, this results in a secret key rate of 0.07 bits per entanglement generation event in the asymptotic limit, and thus demonstrates the system’s capability to generate secret keys. Our results of secure key exchange with potentially untrusted devices pave the way to the ultimate form of quantum secure communications in future quantum networks.

arXiv:2110.00575•Nature•Jul 27, 2022•303 citations

Advances in device-independent quantum key distribution

Víctor Zapatero, Tim van Leent, Rotem Arnon-Friedman +4 more

Abstract Device-independent quantum key distribution (DI-QKD) provides the gold standard for secure key exchange. Not only does it allow for information-theoretic security based on quantum mechanics, but it also relaxes the need to physically model the devices, thereby fundamentally ruling out many quantum hacking threats to which non-DI QKD systems are vulnerable. In practice though, DI-QKD is very challenging. It relies on the loophole-free violation of a Bell inequality, a task that requires high quality entanglement to be distributed between distant parties and close to perfect quantum measurements, which is hardly achievable with current technology. Notwithstanding, recent theoretical and experimental efforts have led to proof-of-principle DI-QKD implementations. In this article, we review the state-of-the-art of DI-QKD by highlighting its main theoretical and experimental achievements, discussing recent proof-of-principle demonstrations, and emphasizing the existing challenges in the field.

arXiv:2208.12842•npj Quantum Information•Feb 18, 2023•165 citations

Design of a Realistic Device-Independent QKD System

Ugo Chirico, Salvatore Cuomo, Miriam Del Latte +1 more

Device-Independent Quantum Key Distribution (DI-QKD) represents the pinnacle of secure quantum communication, offering cryptographic guarantees that are independent of the trustworthiness of the devices used. Unlike traditional QKD schemes that rely on specific assumptions about internal device behaviour, DI-QKD leverages the violation of Bell inequalities to certify security solely from observed statistics. This approach eliminates a wide range of side-channel and implementation attacks, making it especially attractive for critical infrastructures and defense applications. The core concept hinges on the ability of the communicating parties, traditionally named Alice and Bob, to generate shared secret keys through the violation of Bell inequalities verified at a central node, named Charlie, regardless of hardware imperfections. Previous works demonstrated the feasibility of a Bell-certified key exchange over a real optical channel using a heralded entanglement scheme. This work aims to build on that foundation, presenting a full-stack engineering implementation of a DI-QKD system that includes industrial-grade entangled photon sources, high-efficiency SNSPD detectors, central-node heralding logic, and a real-time software stack for key management, observability, and integration with classical IT infrastructure.

IEEE International Conference on Quantum Artificial Intelligence (QAI)•Nov 2, 2025•0 citations

Device independent quantum key distribution with robust self-tests

Andreas Bluhm, Gereon Koßmann, René Schwonnek

Device-independent quantum key distribution (DIQKD) provides a model of quantum key distribution with minimal assumptions and highly abstract theoretical building blocks. Although DIQKD frees us from detailed discussions of specific device models and associated error parameters, it replaces them with fundamental assumptions about the validity of quantum experiments. In this work, we propose a way to lift a protocol based on DIQKD-style assumptions to a device-dependent QKD protocol by performing local self-tests in the laboratories of the two key-generating parties. In particular, we consider routed Bell-test setups as a means of self-testing the local parties in earnest and develop a rigorous mathematical framework showing that the underlying optimization problems can indeed be transferred to the device-dependent QKD setting. As an application, we illustrate many of the relevant techniques through the case study of a routed BB84 protocol.

quant-pharXiv:2603.28085•Mar 31, 2026•0 citations

Quantum Guard: Adaptive Device-Independent QKD and Practical File Encryption Using Real Quantum Hardware Key

Bhoomi M N, Kavitha K. Patil

The rapid advancement of quantum computing threatens to undercut the mathematical foundations of today’s public-key cryptosystems. Quantum key distribution (QKD) provides an information-theoretically secure substitute whose security is derived from physical laws rather than computational complexity. However, most practical QKD systems still rely on trusted hardware components that are vulnerable to manufacturing backdoors, misalignment, and side-channel leakage. Device-Independent Quantum Key Distribution (DIQKD) removes these assumptions by certifying security from experimentally observed Bell-inequality violations, treating devices as untrusted black boxes.This paper provides a complete overview of DIQKD research, focusing on the evolution from early theoretical security proofs to real-world demonstrations on quantum hardware. We review implementation issues on platforms like IBM Quantum, evaluate finite-key security models, and study fundamental protocols. Building on this review, the Quantum Guard framework is presented as a conceptual design that combines adaptive optimization, finite-key estimation, and active attack detection to achieve resilient, device-independent communication. We further demonstrate practical file encryption using DIQKD-generated keys. Finally, we discuss current limitations and strategic objectives for building scalable, commercial quantum-secure networks.

International Conference on Knowledge Engineering and Communication Systems (ICKECS)•Apr 24, 2026•0 citations
ABSTRACT Quantum key distribution (QKD) is based on the laws of quantum mechanics to enable provably secure communication. Despite its theoretical security promise, practical QKD systems are vulnerable to serious attacks, including side‐channel attacks and detector loopholes, and assumes a trusted device characterisation. Device‐independent quantum key distribution (DIQKD) overcomes these limitations by relying solely on observed nonlocal correlations, certified through Bell inequality violations, thereby removing assumptions about the internal workings of the measurement devices. In this paper, we first review the foundational principles underlying DIQKD, including Bell tests and security definitions. We then examine a range of protocol designs, including CHSH‐based schemes, and non‐local game frameworks, alongside with their security proofs. We also assess recent experimental implementations and discuss source architectures, detection technologies and finite‐key analyses. Finally, we identify current open problems, such as noise tolerance, generation rates and integration with quantum networks and outline promising directions for future research to realize robust high‐performance DIQKD.
This paper explores the design and theoretical foundations of quantum key distribution (QKD) protocols engineered for device-independent security. The core argument presented is that achieving unconditional security in QKD is possible without relying on the assumption of perfect hardware, a limitation inherent in many existing protocols. We propose a framework leveraging Bell inequality violations to establish secure key exchange, offering a fundamentally different approach compared to traditional protocols. This approach aims to mitigate the risks associated with side-channel attacks and device imperfections. The protocol outlined here represents a significant step towards realizing truly robust and secure quantum communication systems, offering a pathway for building cryptographic infrastructure resilient to evolving threats. The key contributions lie in the theoretical rigor applied to device independence and the utilization of Bell tests as a core mechanism for establishing security. The presented model offers a starting point for future research and development in this critical area of quantum cryptography.
Abstract Device-independent quantum key distribution (DIQKD) enables the generation of secret keys over an untrusted channel using uncharacterized and potentially untrusted devices 1–9 . The proper and secure functioning of the devices can be certified by a statistical test using a Bell inequality 10–12 . This test originates from the foundations of quantum physics and also ensures robustness against implementation loopholes 13 , thereby leaving only the integrity of the users’ locations to be guaranteed by other means. The realization of DIQKD, however, is extremely challenging—mainly because it is difficult to establish high-quality entangled states between two remote locations with high detection efficiency. Here we present an experimental system that enables for DIQKD between two distant users. The experiment is based on the generation and analysis of event-ready entanglement between two independently trapped single rubidium atoms located in buildings 400 metre apart 14 . By achieving an entanglement fidelity of F ≥0.892(23) {\mathcal F} \,\ge 0.892(23)F≥0.892(23) ℱ ≥ 0.892 ( 23 ) and implementing a DIQKD protocol with random key basis 15 , we observe a significant violation of a Bell inequality of S = 2.578(75)—above the classical limit of 2—and a quantum bit error rate of only 0.078(9). For the protocol, this results in a secret key rate of 0.07 bits per entanglement generation event in the asymptotic limit, and thus demonstrates the system’s capability to generate secret keys. Our results of secure key exchange with potentially untrusted devices pave the way to the ultimate form of quantum secure communications in future quantum networks.
Abstract Device-independent quantum key distribution (DI-QKD) provides the gold standard for secure key exchange. Not only does it allow for information-theoretic security based on quantum mechanics, but it also relaxes the need to physically model the devices, thereby fundamentally ruling out many quantum hacking threats to which non-DI QKD systems are vulnerable. In practice though, DI-QKD is very challenging. It relies on the loophole-free violation of a Bell inequality, a task that requires high quality entanglement to be distributed between distant parties and close to perfect quantum measurements, which is hardly achievable with current technology. Notwithstanding, recent theoretical and experimental efforts have led to proof-of-principle DI-QKD implementations. In this article, we review the state-of-the-art of DI-QKD by highlighting its main theoretical and experimental achievements, discussing recent proof-of-principle demonstrations, and emphasizing the existing challenges in the field.
Device-Independent Quantum Key Distribution (DI-QKD) represents the pinnacle of secure quantum communication, offering cryptographic guarantees that are independent of the trustworthiness of the devices used. Unlike traditional QKD schemes that rely on specific assumptions about internal device behaviour, DI-QKD leverages the violation of Bell inequalities to certify security solely from observed statistics. This approach eliminates a wide range of side-channel and implementation attacks, making it especially attractive for critical infrastructures and defense applications. The core concept hinges on the ability of the communicating parties, traditionally named Alice and Bob, to generate shared secret keys through the violation of Bell inequalities verified at a central node, named Charlie, regardless of hardware imperfections. Previous works demonstrated the feasibility of a Bell-certified key exchange over a real optical channel using a heralded entanglement scheme. This work aims to build on that foundation, presenting a full-stack engineering implementation of a DI-QKD system that includes industrial-grade entangled photon sources, high-efficiency SNSPD detectors, central-node heralding logic, and a real-time software stack for key management, observability, and integration with classical IT infrastructure.
Device-independent quantum key distribution (DIQKD) provides a model of quantum key distribution with minimal assumptions and highly abstract theoretical building blocks. Although DIQKD frees us from detailed discussions of specific device models and associated error parameters, it replaces them with fundamental assumptions about the validity of quantum experiments. In this work, we propose a way to lift a protocol based on DIQKD-style assumptions to a device-dependent QKD protocol by performing local self-tests in the laboratories of the two key-generating parties. In particular, we consider routed Bell-test setups as a means of self-testing the local parties in earnest and develop a rigorous mathematical framework showing that the underlying optimization problems can indeed be transferred to the device-dependent QKD setting. As an application, we illustrate many of the relevant techniques through the case study of a routed BB84 protocol.
The rapid advancement of quantum computing threatens to undercut the mathematical foundations of today’s public-key cryptosystems. Quantum key distribution (QKD) provides an information-theoretically secure substitute whose security is derived from physical laws rather than computational complexity. However, most practical QKD systems still rely on trusted hardware components that are vulnerable to manufacturing backdoors, misalignment, and side-channel leakage. Device-Independent Quantum Key Distribution (DIQKD) removes these assumptions by certifying security from experimentally observed Bell-inequality violations, treating devices as untrusted black boxes.This paper provides a complete overview of DIQKD research, focusing on the evolution from early theoretical security proofs to real-world demonstrations on quantum hardware. We review implementation issues on platforms like IBM Quantum, evaluate finite-key security models, and study fundamental protocols. Building on this review, the Quantum Guard framework is presented as a conceptual design that combines adaptive optimization, finite-key estimation, and active attack detection to achieve resilient, device-independent communication. We further demonstrate practical file encryption using DIQKD-generated keys. Finally, we discuss current limitations and strategic objectives for building scalable, commercial quantum-secure networks.