Verifiable Security of Boneh-Franklin Identity-Based Encryption.

Gilles Barthe, Federico Olmedo, Santiago Zanella-Bguelin

Browse the full ProvSec paper archive.