Abstract | ||
---|---|---|
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 pairingbased 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. |
Year | Venue | Keywords |
---|---|---|
2011 | ProvSec | public-key cryptography,proof simplifies,boneh-franklin ibe scheme,boneh-franklin identity-based encryption,verifiable security,practical ibe scheme,original proof,pairingbased cryptography,identity-based encryption,exact security,encryption key,simplifies key management,diffie hellman,public key cryptography,pairing based cryptography,key management |
Field | DocType | Volume |
Pairing-based cryptography,Computer security,Computer science,Cryptography,Concrete security,Theoretical computer science,Encryption,Verifiable secret sharing,ID-based cryptography,Boneh–Franklin scheme,Key (cryptography) | Conference | 6980 |
ISSN | Citations | PageRank |
0302-9743 | 1 | 0.35 |
References | Authors | |
19 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gilles Barthe | 1 | 2337 | 152.36 |
Federico Olmedo | 2 | 130 | 6.18 |
Santiago Zanella Béguelin | 3 | 114 | 6.28 |