Paper 2012/459

Barriers in Cryptography with Weak, Correlated and Leaky Sources

Daniel Wichs

Abstract

There has been much recent progress in constructing cryptosystems that maintain their security without requiring uniform randomness and perfect secrecy. These schemes are motivated by a diverse set of problems such as providing resilience to side-channel leakage, using weak physical sources of randomness as secret keys, and allowing deterministic encryption for high-entropy messages. The study of these problems has significantly deepened our understanding of how randomness is used in cryptographic constructions and proofs. Nevertheless, despite this progress, some basic and seemingly achievable security properties have eluded our reach. For example, we are unable to prove the security of basic tools for manipulating weak/leaky random sources, such as as pseudo-entropy generators and seed-dependent computational condensers. We also do not know how to prove leakage-resilient security of any cryptosystem whose secret key is uniquely determined by its public key. In the context of deterministic encryption we do not have a standard-model constructions achieving the strongest notion of security proposed by Bellare, Boldyreva and O'Neill (CRYPTO '07), that would allow us to encrypt arbitrarily correlated messages of sufficiently large individual entropy. In this work, we provide broad black-box separation results, showing that the security of such primitives cannot be proven under virtually any standard cryptographic hardness assumption via a reduction that treats the adversary as a black box. We do so by formalizing the intuition that ``the only way that a reduction can simulate the correctly distributed view for an attacker is to know all the secrets, in which case it does not learn anything useful from the attack''. Such claims are often misleading and clever way of getting around them allow us to achieve a wealth of positive results with imperfect/leaky randomness. However, in this work we show that this intuition can be formalized and that it indeed presents a real barrier for the examples given above.

Note: This is the full version of a paper that appears at ITCS 2013.

Metadata
Available format(s)
PDF
Category
Foundations
Publication info
Published elsewhere. Unknown where it was published
Keywords
Black-Box ReductionsLeakageDeterministic Encryption
Contact author(s)
wichs @ cs nyu edu
History
2012-12-14: last of 2 revisions
2012-08-13: received
See all versions
Short URL
https://ia.cr/2012/459
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2012/459,
      author = {Daniel Wichs},
      title = {Barriers in Cryptography with Weak, Correlated and Leaky Sources},
      howpublished = {Cryptology ePrint Archive, Paper 2012/459},
      year = {2012},
      note = {\url{https://eprint.iacr.org/2012/459}},
      url = {https://eprint.iacr.org/2012/459}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.