English
Related papers

Related papers: Composable Security in the Bounded-Quantum-Storage…

200 papers

It is generally believed that unconditionally secure quantum bit commitment is impossible, due to widespread acceptance of an impossibility proof that utilizes quantum entaglement cheating. In this paper, we delineate how the impossibiliy…

Quantum Physics · Physics 2007-05-23 Horace P. Yuen

Quantum bit commitment has long been known to be impossible. Nevertheless, just as in the classical case, imposing certain constraints on the power of the parties may enable the construction of asymptotically secure protocols. Here, we…

Quantum Physics · Physics 2012-09-04 A. Mandilara , N. J. Cerf

Oblivious Transfer (OT) is a fundamental cryptographic protocol that finds a number of applications, in particular, as an essential building block for two-party and multi-party computation. We construct a round-optimal (2 rounds)…

Cryptography and Security · Computer Science 2017-10-24 Paulo S. L. M. Barreto , Bernardo David , Rafael Dowsley , Kirill Morozov , Anderson C. A. Nascimento

Bit commitment is a fundamental cryptographic task that guarantees a secure commitment between two mutually mistrustful parties and is a building block for many cryptographic primitives, including coin tossing, zero-knowledge proofs,…

We present simple protocols for oblivious transfer and password-based identification which are secure against general attacks in the noisy-quantum-storage model as defined in [KWW09]. We argue that a technical tool from [KWW09] suffices to…

Quantum Physics · Physics 2015-03-13 Christian Schaffner

Quantum bit-string commitment[A.Kent, Phys.Rev.Lett., 90, 237901 (2003)] or QBSC is a variant of bit commitment (BC). In this paper, we propose a new QBSC protocol that can be implemented using currently available technology, and prove its…

Quantum Physics · Physics 2009-11-10 Toyohiro Tsurumaru

Several kinds of qubit-string-based(QS-based) bit commitment protocols are presented, and a definition of information-theoretic concealing is given. All the protocols presented here are proved to be secure under this definition. We suggest…

Quantum Physics · Physics 2012-07-02 Li Yang , Chong Xiang , Bao Li

MiniQCrypt is a world where quantum-secure one-way functions exist, and quantum communication is possible. We construct an oblivious transfer (OT) protocol in MiniQCrypt that achieves simulation-security in the plain model against malicious…

Quantum Physics · Physics 2020-12-01 Alex B. Grilo , Huijia Lin , Fang Song , Vinod Vaikuntanathan

We present a robust and composable device-independent (DI) quantum protocol between two parties for oblivious transfer (OT) using Magic Square devices in the bounded storage model in which the (honest and cheating) devices and parties have…

Quantum Physics · Physics 2026-04-13 Rishabh Batra , Sayantan Chakraborty , Rahul Jain , Upendra Kapshikar

By using local quantum teleportation of a fixed state to one qubit of an entangled pair sent from the other party, it is shown how one party can commit a bit with only classical information as evidence that results in an unconditionally…

Quantum Physics · Physics 2007-05-23 Horace P. Yuen

We propose a general security definition for cryptographic quantum protocols that implement classical non-reactive two-party tasks. The definition is expressed in terms of simple quantum-information-theoretic conditions which must be…

Quantum Physics · Physics 2009-04-06 Serge Fehr , Christian Schaffner

We prove the unconditional security of a quantum key distribution (QKD) protocol on a noisy channel against the most general attack allowed by quantum physics. We use the fact that in a previous paper we have reduced the proof of the…

Quantum Physics · Physics 2007-05-23 Dominic Mayers

The oblivious transfer primitive is sufficient to implement secure multiparty computation. However, secure multiparty computation based only on classical cryptography is severely limited by the security and efficiency of the oblivious…

Bit commitment protocols whose security is based on the laws of quantum mechanics alone are generally held to be impossible. In this paper we give a strengthened and explicit proof of this result. We extend its scope to a much larger…

The ``impossibility proof'' on unconditionally secure quantum bit commitment is examined. It is shown that the possibility of juxtaposing quantum and classical randomness has not been properly taken into account. A specific protocol that…

Quantum Physics · Physics 2007-05-23 Horace P. Yuen

Motivated by cloud security concerns, there is an increasing interest in database systems that can store and support queries over encrypted data. A common architecture for such systems is to use a trusted component such as a cryptographic…

Databases · Computer Science 2013-12-17 Arvind Arasu , Raghav Kaushik

This work is intended as an introduction to cryptographic security and a motivation for the widely used Quantum Key Distribution (QKD) security definition. We review the notion of security necessary for a protocol to be usable in a larger…

Quantum Physics · Physics 2014-09-12 Christopher Portmann , Renato Renner

We present a new template for building oblivious transfer from quantum information that we call the "fixed basis" framework. Our framework departs from prior work (eg., Crepeau and Kilian, FOCS '88) by fixing the correct choice of…

Quantum Physics · Physics 2022-09-13 Amit Agarwal , James Bartusek , Dakshita Khurana , Nishant Kumar

The bounded quantum storage model aims to achieve security against computationally unbounded adversaries that are restricted only with respect to their quantum memories. In this work, we provide information-theoretic secure constructions in…

Cryptography and Security · Computer Science 2025-06-05 Mohammed Barhoush , Louis Salvail

In quantum cryptography, the level of security attainable by a protocol which implements a particular task $N$ times bears no simple relation to the level of security attainable by a protocol implementing the task once. Useful partial…

Quantum Physics · Physics 2007-05-23 Adrian Kent