Verifiable Security of Boneh-Franklin Identity-Based Encryption

Identity-based encryption (IBE) allows one party to send ciphered messages to another using an arbitrary identity string as an encryption key. Since IBE does not require prior generation and distribution of keys, it greatly simplifies key management in public-key cryptography. Although the concept of IBE was introduced by Shamir in 1981, constructing a practical IBE scheme remained an open problem for years. The first satisfactory solution was proposed by Boneh and Franklin in 2001 and constitutes one of the most prominent applications of pairing-based cryptography. We present a game-based machine-checked reduction of the security of the Boneh-Franklin IBE scheme to the Bilinear Diffie-Hellman assumption, and analyze its tightness by providing an exact security bound. Our proof simplifies and clarifies the original proof by Boneh and Franklin and can be automatically verified by running a trusted checker.

2011.ProvSec.pdf
PDF file

In  5th International Conference on Provable Security, ProvSec 2011

Publisher  Springer

Details

TypeInproceedings
URLhttp://dx.doi.org/10.1007/978-3-642-24316-5_7
Pages68-83
Volume6980
SeriesLecture Notes in Computer Science
> Publications > Verifiable Security of Boneh-Franklin Identity-Based Encryption