English
Related papers

Related papers: A Hybrid Analysis for Security Protocols with Stat…

200 papers

Scenarios, or Message Sequence Charts, offer an intuitive way of describing the desired behaviors of a distributed protocol. In this paper we propose a new way of specifying finite-state protocols using scenarios: we show that it is…

Formal Languages and Automata Theory · Computer Science 2014-03-03 Rajeev Alur , Milo Martin , Mukund Raghothaman , Christos Stergiou , Stavros Tripakis , Abhishek Udupa

Quantum metrology and cryptography can be combined in a distributed and/or remote sensing setting, where distant end-users with limited quantum capabilities can employ quantum states, transmitted by a quantum-powerful provider via a quantum…

Quantum Physics · Physics 2025-05-06 G. Bizzarri , M. Barbieri , M. Manrique , M. Parisi , F. Bruni , I. Gianani , M. Rosati

An idea of hybrid maps is proposed to establish standard entanglement purification protocols which guarantee to purify any distillable state to a desired maximally entangled pure state all by the standard purification local operations and…

Quantum Physics · Physics 2009-11-10 Jin-Yuan Hsieh , Che-Ming Li , Der-San Chuu

Security protocols stipulate how the remote principals of a computer network should interact in order to obtain specific security goals. The crucial goals of confidentiality and authentication may be achieved in various forms, each of…

Cryptography and Security · Computer Science 2018-02-27 Giampaolo Bella , Stefano Bistarelli

Quantum protocols for secret sharing usually rely on multi-party entanglement which with present technology is very difficult to achieve. Recently it has been shown that sequential manipulation and communication of a single $d-$ level state…

Quantum Physics · Physics 2015-11-11 Vahid Karimipour , Marzieh Asoudeh

Oblivious transfer protocol is a basic building block in cryptography and is used to transfer information from a sender to a receiver in such a way that, at the end of the protocol, the sender does not know if the receiver got the message…

Quantum Physics · Physics 2015-06-19 A. Souto , P. Mateus , P. Adão , N. Paunković

The advent of a new kind of entangled state known as hybrid entangled state, i.e., entanglement between different degrees of freedom, makes it possible to perform various quantum computational and communication tasks with lesser amount of…

Quantum Physics · Physics 2021-05-10 Chitra Shukla , Priya Malpani , Kishore Thapliyal

The safety of a quantum key distribution system relies on the fact that any eavesdropping attempt on the quantum channel creates errors in the transmission. For a given error rate, the amount of information that may have leaked to the…

Quantum Physics · Physics 2009-10-28 B. Huttner , N. Imoto , N. Gisin , T. Mor

We present a composably secure protocol allowing $n$ parties to test an entanglement generation resource controlled by a possibly dishonest party. The test consists only in local quantum operations and authenticated classical communication…

Quantum Physics · Physics 2021-05-26 Raja Yehia , Eleni Diamanti , Iordanis Kerenidis

Quantum state verification (QSV) is the task of relying on local measurements only to verify that a given quantum device does produce the desired target state. Up to now, certain types of entangled states can be verified efficiently or even…

Quantum Physics · Physics 2023-06-16 Ye-Chao Liu , Yinfei Li , Jiangwei Shang , Xiangdong Zhang

This paper presents a hybrid cryptographic protocol, using quantum and classical resources, to generate a key for authentication and optionally for encryption in a network. One or more trusted servers distribute streams of entangled photons…

Quantum Physics · Physics 2007-05-23 D. Richard Kuhn

We propose a wide class of distillation schemes for multi-partite entangled states that are CSS-states. Our proposal provides not only superior efficiency, but also new insights on the connection between CSS-states and bipartite graph…

Information Theory · Computer Science 2008-04-05 Kai Chen , Hoi-Kwong Lo

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

Cryptographic protocols are often specified by narrations, i.e., finite sequences of message exchanges that show the intended execution of the protocol. Another use of narrations is to describe attacks. We propose in this paper to compile,…

Cryptography and Security · Computer Science 2021-09-08 Yannick Chevalier , Michaël Rusinowitch

This paper proposes a protocol for hybrid quantum teleportation and remote state preparation(RSP). It allows users to transmit an n-qubit quantum state by using (4n+1)qubits entangled state as a quantum channel to each other simultaneously.…

Quantum Physics · Physics 2025-01-31 MohammadHossein Valeh , Hossein Aghababa , Mohammadreza Kolahdouz , Masoud Barati

Privacy is one of the key issues addressed by information Security. Through cryptographic encryption methods, one can prevent a third party from understanding transmitted raw data over unsecured channel during signal transmission. The…

Cryptography and Security · Computer Science 2013-07-31 Quist-Aphetsi Kester

This work considers the problem of mitigating information leakage between communication and sensing in systems jointly performing both operations. Specifically, a discrete memoryless state-dependent broadcast channel model is studied in…

Information Theory · Computer Science 2023-03-22 Onur Günlü , Matthieu R. Bloch , Rafael F. Schaefer , Aylin Yener

We consider remote state preparation protocols for a set of pure states whose projectors form a basis for operators acting on the input Hilbert space. If a protocol (1) uses only forward communication and entanglement, (2) deterministically…

Quantum Physics · Physics 2009-11-07 D. W. Leung , P. W. Shor

Semi-quantum protocols construct connections between quantum users and ``classical'' users who can only perform certain ``classical'' operations. In this paper, we present a new semi-quantum private comparison protocol based on entangled…

Quantum Physics · Physics 2022-10-10 Chong-Qiang Ye , Jian Li , Xiu-Bo Chen , Yanyan Hou , Zhou Wang

Authentication is a fundamental building block of secure quantum networks, essential for quantum cryptographic protocols and often debated as a key limitation of quantum key distribution (QKD) in security standards. Most quantum-safe…

Quantum Physics · Physics 2026-02-25 Suchetana Goswami , Mina Doosti , Elham Kashefi