Simulation without the Artificial Abort: Simplified Proof and Improved Concrete Security for Waters' IBE Scheme

  • Authors:
  • Mihir Bellare;Thomas Ristenpart

  • Affiliations:
  • Dept. of Computer Science & Engineering 0404, University of California, San Diego, La Jolla, USA CA 92093-0404;Dept. of Computer Science & Engineering 0404, University of California, San Diego, La Jolla, USA CA 92093-0404

  • Venue:
  • EUROCRYPT '09 Proceedings of the 28th Annual International Conference on Advances in Cryptology: the Theory and Applications of Cryptographic Techniques
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

Waters' variant of the Boneh-Boyen IBE scheme is attractive because of its efficency, applications, and security attributes, but suffers from a relatively complex proof with poor concrete security. This is due in part to the proof's "artificial abort" step, which has then been inherited by numerous derivative works. It has often been asked whether this step is necessary.We show that it is not, providing a new proof that eliminates this step. The new proof is not only simpler than the original one but offers better concrete security for important ranges of the parameters. As a result, one can securely use smaller groups, resulting in significant efficiency improvements.