English
Related papers

Related papers: Toward automatic verification of quantum cryptogra…

200 papers

Quantum Key Distribution (QKD) protocols rely on authenticated classical communication. Typical QKD security proofs are carried out in an idealized setting where authentication is assumed to behave honestly: it never aborts, and all…

Quantum Physics · Physics 2026-01-27 Devashish Tupkary , Shlok Nahar , Ernest Y. -Z. Tan

Reliable verification techniques for quantum communication protocols are of paramount importance, given their high implementation cost and critical contexts of application. Extensions of process calculi have been proposed, together with…

Logic in Computer Science · Computer Science 2026-04-28 Lorenzo Ceragioli , Fabio Gadducci , Giuseppe Lomurno , Gabriele Tedeschi

The security of the proposed quantum Internet relies on repeater protocols designed under the assumption of stochastic, characterizable noise. We demonstrate that in adversarial environments this assumption induces performance…

Quantum Physics · Physics 2026-02-27 Abhishek Sadhu , Sharu Theresa Jose

We propose considering Quantum Key Distribution (QKD) protocols as a use case for Quantum Machine Learning (QML) algorithms. We define and investigate the QML task of optimizing eavesdropping attacks on the quantum circuit implementation of…

Quantum Physics · Physics 2025-02-28 T. Decker , M. Gallezot , S. F. Kerstan , A. Paesano , A. Ginter , W. Wormsbecher

This is a Bachelor's thesis on quantum key distribution in the non-asymptotic regime submitted to the Leibniz Universit\"at Hannover, Germany. It deals with the question how to generate a key to encrypt messages between two honest parties…

Quantum Physics · Physics 2015-11-23 Ramona Wolf

In order to guarantee the output of a quantum computation, we usually assume that the component devices are trusted. However, when the total computation process is large, it is not easy to guarantee the whole system when we have scaling…

Quantum Physics · Physics 2018-05-16 Masahito Hayashi , Michal Hajdusek

Quantum key distribution (QKD) theoretically offers information-theoretic security. The prevailing approach is the prepare-and-measure BB84 protocol, which implements QKD using conventional laser rather than single-photon source via the…

Quantum Physics · Physics 2026-05-20 Rong-Zheng Liu , Hua-Lei Yin

We propose a new Quantum Key Distribution method in which Alice sends pairs of qubits to Bob, each in one of four possible states. Bob uses one qubit to generate a secure key and the other to generate an auxiliary key. For each pair he…

Quantum Physics · Physics 2015-05-01 Mohd Asad Siddiqui , Tabish Qureshi

Any Quantum Key Distribution (QKD) protocol consists first of sequences of measurements that produce some correlation between classical data. We show that these correlation data must violate some Bell inequality in order to contain…

Quantum Physics · Physics 2009-11-11 Antonio Acin , Nicolas Gisin , Lluis Masanes

Mutually unbiased bases have been extensively studied in the literature and are simple and effective in quantum key distribution protocols, but they are not optimal. Here equiangular spherical codes are introduced as a more efficient and…

Quantum Physics · Physics 2016-02-23 Joseph M. Renes

Quantum Key Distribution (QKD) is a foundational cryptographic protocol that ensures information-theoretic security. However, classical protocols such as BB84, though favored for their simplicity, offer limited resistance to eavesdropping,…

Cryptography and Security · Computer Science 2026-04-21 David Polzoni , Tommaso Bianchi , Mauro Conti

We present a new protocol for practical quantum cryptography, tailored for an implementation with weak coherent pulses. The key is obtained by a very simple time-of-arrival measurement on the data line; an interferometer is built on an…

Quantum Key Distribution is a practically implementable information-theoretic secure method for transmitting keys to remote partners performing quantum communication. After examining various protocols from the simplest such as QC and BB84…

Quantum Physics · Physics 2017-11-23 C. Tannous , J. Langlois

The laws of quantum mechanics allow unconditionally secure key distribution protocols. Nevertheless, security proofs of traditional quantum key distribution (QKD) protocols rely on a crucial assumption, the trustworthiness of the quantum…

Quantum Physics · Physics 2014-10-08 Umesh Vazirani , Thomas Vidick

Interactive verification protocols for quantum computations allow to build trust between a client and a service provider, ensuring the former that the instructed computation was carried out faithfully. They come in two variants, one without…

Quantum Physics · Physics 2026-04-01 Amit Saha , Harold Ollivier

Counterfactual quantum key distribution (QKD) enables two parties to share a secret key using an interaction-free measurement. Here, we point out that the efficiency of counterfactual QKD protocols can be enhanced by including…

Quantum Physics · Physics 2021-09-07 Vinod N. Rao , R. Srikanth

We review the study on a two way quantum key distribution protocol given imperfect settings through a simple analysis of a toy model and show that it can outperform a BB84 setup. We provide the sufficient condition for this as a ratio of…

Quantum Physics · Physics 2015-05-20 J. S. Shaari , Iskandar Bahari

In conventional quantum key distribution protocols, the secure key is normally extracted from the measurement outcomes of the system. Here, a different approach is proposed, where the secure key is extracted from the measurement bases,…

Quantum Physics · Physics 2014-10-21 Xiongfeng Ma

Device-independent quantum key distribution (DIQKD) represents a relaxation of the security assumptions made in usual quantum key distribution (QKD). As in usual QKD, the security of DIQKD follows from the laws of quantum physics, but…

Quantum Physics · Physics 2009-04-30 Stefano Pironio , Antonio Acin , Nicolas Brunner , Nicolas Gisin , Serge Massar , Valerio Scarani

The first quantum cryptography protocol, proposed by Bennett and Brassard in 1984 (BB84), has been widely studied in the last years. This protocol uses four states (more precisely, two complementary bases) for the encoding of the classical…

Quantum Physics · Physics 2009-11-11 Cyril Branciard , Nicolas Gisin , Barbara Kraus , Valerio Scarani