@article{Olmedo:2014: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 = "IO Press",
  year      = {2014},
  note      = "To appear"
}