Forking Lemma and the Security Proofs for a Class of ID-Based Signatures

2007 ◽  
Vol 18 (4) ◽  
pp. 1007
Author(s):  
Chun-Xiang GU
Keyword(s):  
Security Proofs ◽  
Forking Lemma

scholarly journals Computing conditional entropies for quantum correlations

2021 ◽  
Vol 12 (1) ◽  
Author(s):  
Peter Brown ◽  
Hamza Fawzi ◽  
Omar Fawzi
Keyword(s):  
Quantum Key Distribution ◽  
Detection Efficiency ◽  
Conditional Entropy ◽  
Key Distribution ◽  
Quantum Correlations ◽  
Upper Bounds ◽  
Cryptographic Protocols ◽  
Quantum States ◽  
Security Proofs

AbstractThe rates of quantum cryptographic protocols are usually expressed in terms of a conditional entropy minimized over a certain set of quantum states. In particular, in the device-independent setting, the minimization is over all the quantum states jointly held by the adversary and the parties that are consistent with the statistics that are seen by the parties. Here, we introduce a method to approximate such entropic quantities. Applied to the setting of device-independent randomness generation and quantum key distribution, we obtain improvements on protocol rates in various settings. In particular, we find new upper bounds on the minimal global detection efficiency required to perform device-independent quantum key distribution without additional preprocessing. Furthermore, we show that our construction can be readily combined with the entropy accumulation theorem in order to establish full finite-key security proofs for these protocols.

Tighter Security Proofs for GPV-IBE in the Quantum Random Oracle Model

2021 ◽  
Vol 34 (1) ◽  
Author(s):  
Shuichi Katsumata ◽  
Shota Yamada ◽  
Takashi Yamakawa
Keyword(s):  
Random Oracle Model ◽  
Random Oracle ◽  
Security Proofs

scholarly journals Stronger Security Proofs for RSA and Rabin Bits

1997 ◽  
pp. 267-279 ◽  
Author(s):  
R. Fischlin ◽  
C. P. Schnorr
Keyword(s):  
Security Proofs

scholarly journals Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head

2021 ◽  
Author(s):  
José Bacelar Almeida ◽  
Manuel Barbosa ◽  
Manuel L. Correia ◽  
Karim Eldefrawy ◽  
Stéphane Graham-Lengrand ◽  
...  
Keyword(s):  
Security Proofs

Optimal Security Proofs for Full Domain Hash, Revisited

2017 ◽  
Vol 31 (1) ◽  
pp. 276-306 ◽  
Author(s):  
Saqib A. Kakvi ◽  
Eike Kiltz
Keyword(s):  
Security Proofs ◽  
Full Domain

Proposal for dimensionality testing in QPQ

2018 ◽  
Vol 18 (13&14) ◽  
pp. 1125-1142
Author(s):  
Arpita Maitra ◽  
Bibhas Adhikari ◽  
Satyabrata Adhikari
Keyword(s):  
Information Processing ◽  
Quantum Information ◽  
Quantum System ◽  
Quantum State ◽  
Quantum Information Processing ◽  
Quantum States ◽  
Quantum Private Query ◽  
Unfair Advantage ◽  
Security Proofs

Recently, dimensionality testing of a quantum state has received extensive attention (Ac{\'i}n et al. Phys. Rev. Letts. 2006, Scarani et al. Phys. Rev. Letts. 2006). Security proofs of existing quantum information processing protocols rely on the assumption about the dimension of quantum states in which logical bits are encoded. However, removing such assumption may cause security loophole. In the present paper, we show that this is indeed the case. We choose two players' quantum private query protocol by Yang et al. (Quant. Inf. Process. 2014) as an example and show how one player can gain an unfair advantage by changing the dimension of subsystem of a shared quantum system. To resist such attack we propose dimensionality testing in a different way. Our proposal is based on CHSH like game. As we exploit CHSH like game, it can be used to test if the states are product states for which the protocol becomes completely vulnerable.

Multi-recipient Public-Key Encryption from Simulators in Security Proofs

2009 ◽  
pp. 293-308 ◽  
Author(s):  
Harunaga Hiwatari ◽  
Keisuke Tanaka ◽  
Tomoyuki Asano ◽  
Koichi Sakumoto
Keyword(s):  
Public Key ◽  
Public Key Encryption ◽  
Security Proofs

A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution

2011 ◽  
pp. 125-137
Author(s):  
Takahiro Kubota ◽  
Yoshihiko Kakutani ◽  
Go Kato ◽  
Yasuhito Kawano
Keyword(s):  
Quantum Key Distribution ◽  
Key Distribution ◽  
Unconditional Security ◽  
Formal Approach ◽  
Security Proofs
Sign in / Sign up

Export Citation Format

Share Document