@Article{Barthe:2013:JCS,
  author    = "Gilles Barthe and
               Benjamin Gr{\'e}goire and
               Sylvain Heraud and
               Federico Olmedo and
               Santiago Zanella-B{\'e}guelin",
  title     = "Verified Indifferentiable Hashing into Elliptic Curves",
  journal   = "Journal of Computer Security",
  publisher = "IOS Press", 
  year      = "2013",
  note      = "To appear"
}