International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

The Random Oracle Model and the Ideal Cipher Model are Equivalent

Authors:
Jean-Sébastien Coron
Jacques Patarin
Yannick Seurin
Download:
URL: http://eprint.iacr.org/2008/246
Search ePrint
Search Google
Abstract: The Random Oracle Model and the Ideal Cipher Model are two well known idealised models of computation for proving the security of cryptosystems. At Crypto 2005, Coron et al. showed that security in the random oracle model implies security in the ideal cipher model; namely they showed that a random oracle can be replaced by a block cipher-based construction, and the resulting scheme remains secure in the ideal cipher model. The other direction was left as an open problem, i.e. constructing an ideal cipher from a random oracle. In this paper we solve this open problem and show that the Feistel construction with 6 rounds is enough to obtain an ideal cipher; we also show that 5 rounds are insufficient by providing a simple attack. This contrasts with the classical Luby-Rackoff result that 4 rounds are necessary and sufficient to obtain a (strong) pseudo-random permutation from a pseudo-random function.
BibTeX
@misc{eprint-2008-17923,
  title={The Random Oracle Model and the Ideal Cipher Model are Equivalent},
  booktitle={IACR Eprint archive},
  keywords={foundations / random oracle model, ideal cipher model, indifferentiability, Feistel/Luby-Rackoff construction.},
  url={http://eprint.iacr.org/2008/246},
  note={An extended abstract of this paper will appear at CRYPTO 2008. This is the full version. jscoron@gmail.com 14107 received 30 May 2008, last revised 16 Aug 2008},
  author={Jean-Sébastien Coron and Jacques Patarin and Yannick Seurin},
  year=2008
}