@InProceedings{Barthe:2011:ProvSec,
  author    = "Gilles Barthe and
               Federico Olmedo and
               Santiago Zanella-B{\'e}guelin",
  title     = "Verifiable Security of {B}oneh-{F}ranklin Identity-Based Encryption",
  booktitle = "5th International Conference on Provable Security -- ProvSec 2011",
  publisher = "Springer",
  series    = "Lecture Notes in Computer Science",
  year      = "2011",
  volume    = "6980",
  pages     = "68-83",
  url       = "http://dx.doi.org/10.1007/978-3-642-24316-5_7"
}