The Boneh-Franklin IBE

Simplified Boneh-Franklin IBE

2

Boneh-Franklin IBE - correctness

3

Boneh-Franklin IBE

4

Boneh-Franklin IBE - correctness

5

Admissible bilinear maps

6

Bilinear Diffie-Hellman - BDH

7

BDH generator

8

BDH assumption

9

Boneh-Franklin - BasicIdent

10

Random oracle model (ROM)

Random oracle model (ROM)

Random oracel model idealization of- one-way functions- random functions- collision-resistant hash functions.

BasicIdent - Security

13

BasicPub – a public-key variant

14

Proof structure

15

BasicPub and BasicIdent

16

The CPA game

17

BasicPub and BasicIdent

18

BasicPub and BasicIdent

19

Computing H1

20

Answering KeyGen queries

21

Computing challenge c’

22

Putting things together

23