English
Related papers

Related papers: Formalization of Quantum Protocols using Coq

200 papers

Electronic voting systems face growing risks from cyberattacks and data breaches, which are expected to intensify with the advent of quantum computing. To address these challenges, we introduce a quantum-secure voting framework that…

Quantum Physics · Physics 2025-10-07 Taha M. Mahmoud , Naima Kaabouch

Communication security has to evolve to a higher plane in the face of the threat from the massive computing power of the emerging quantum computers. Quantum secure direct communication (QSDC) constitutes a promising branch of quantum…

Quantum Physics · Physics 2025-01-03 Dong Pan , Gui-Lu Long , Liuguo Yin , Yu-Bo Sheng , Dong Ruan , Soon Xin Ng , Jianhua Lu , Lajos Hanzo

We review the main protocols for key distribution based on principles of quantum mechanics, describing the general underlying ideas, discussing implementation requirements and pointing out directions of current experiments. The issue of…

Quantum Physics · Physics 2007-05-23 Dagmar Bruß , Norbert Lütkenhaus

Quantum key distribution (QKD) is a secure communication method that utilizes the principles of quantum mechanics to establish secret keys. The central task in the study of QKD is to prove security in the presence of an eavesdropper with…

Quantum Physics · Physics 2023-09-14 Sirui Peng , Xiaoming Sun , Hongyi Zhou

With experimental quantum computing technologies now in their infancy, the search for efficient means of testing the correctness of these quantum computations is becoming more pressing. An approach to the verification of quantum computation…

Quantum Physics · Physics 2018-04-18 Alexandru Gheorghiu , Matty J. Hoban , Elham Kashefi

This article explores the application of coding techniques for fault-tolerant quantum computation and extends their usage to fault-tolerant quantum communication. We review repeater-based quantum networks, emphasizing the roles of coding…

Quantum Physics · Physics 2024-08-08 Ching-Yi Lai , Kao-Yueh Kuo

We propose a model of a programmable quantum processing device realizable with existing nanophotonic technologies and which can be viewed as a basis for new high performance hardware architectures. We present protocols and their physical…

In quantum networks an important goal is to reduce resource requirements for the transport and communication of quantum information. Quantum network coding presents a way of doing this by distributing entangled states over a network that…

Quantum Physics · Physics 2024-08-12 Hjalmar Rall , Mark Tame

Quantum computing offers a powerful new paradigm of information processing that has the potential to transform a wide range of industries. In the pursuit of the tantalizing promises of a universal quantum computer, a multitude of new…

Quantum Physics · Physics 2021-09-15 Yvonne Y. Gao , M. Adriaan Rol , Steven Touzard , Chen Wang

Hydropower facilities are often remotely monitored or controlled from a centralized remote-control room. Additionally, major component manufacturers monitor the performance of installed components. While these communications enable…

Quantum Physics · Physics 2023-10-23 Adrien Green , Jeremy Lawrence , George Siopsis , Nicholas Peters , Ali Passian

Quantum digital signatures ensure unforgeable message authenticity and integrity using quantum principles, offering unconditional security against both classical and quantum attacks. They are crucial for secure communication in high-stakes…

Quantum Physics · Physics 2025-07-22 Debnath Ghosh , Soumit Roy , Prithwi Bagchi , Indranil Chakrabarty , Ashok Kumar Das

Quantum key distribution (QKD) can provide secure key material between two parties without relying on assumptions about the computational power of an eavesdropper. QKD is performed over quantum links and quantum networks, systems which are…

We define the task of {\it quantum tagging}, that is, authenticating the classical location of a classical tagging device by sending and receiving quantum signals from suitably located distant sites, in an environment controlled by an…

Quantum Physics · Physics 2013-05-29 Adrian Kent , William J. Munro , Timothy P. Spiller

Realisation of significant advances in capabilities of sensors, computing, timing, and communication enabled by quantum technologies is dependent on engineering highly complex systems that integrate quantum devices into existing classical…

Emerging Technologies · Computer Science 2026-03-10 Hayato Ishida , Amal Elsokary , Maria Aslam , Catherine White , Michael J. de C. Henshaw , Siyuan Ji

Quantum key distribution (QKD) promises unconditional security in data communication and is currently being deployed in commercial applications. Nonetheless, before QKD can be widely adopted, it faces a number of important challenges such…

Quantum Physics · Physics 2017-01-24 Eleni Diamanti , Hoi-Kwong Lo , Bing Qi , Zhiliang Yuan

Quantum resistance is vital for emerging cryptographic systems as quantum technologies continue to advance towards large-scale, fault-tolerant quantum computers. Resistance may be offered by quantum key distribution (QKD), which provides…

Quantum voting protocols aim to offer ballot secrecy and publicly verifiable tallies using physical guarantees from quantum mechanics, rather than relying solely on computational hardness. This article surveys whether such quantum voting…

Quantum Physics · Physics 2026-01-27 Nitin Jha , Abhishek Parakh

This paper presents a new quantum protocol designed to simultaneously transmit information from one source to many recipients. The proposed protocol, which is based on the phenomenon of entanglement, is completely distributed and is…

Quantum Physics · Physics 2025-03-14 Theodore Andronikos , Alla Sirokofskich

We propose a new cryptographic protocol. It is suggested to encode information in ordinary binary form into many-qubit entangled states with the help of a quantum computer. A state of qubits (realized, e.g., with photons) is transmitted…

Quantum Physics · Physics 2016-09-08 K. V. Bayandin , G. B. Lesovik

Quantum teleportation allows one to transmit an arbitrary qubit from point A to point B using a pair of (pre-shared) entangled qubits and classical bits of information. The conventional protocol for teleportation uses two bits of classical…

Quantum Physics · Physics 2022-02-17 Abhishek Parakh
‹ Prev 1 8 9 10 Next ›