@article{Olmedo: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 = {IO Press},
  volume    = {21},
  number    = {6},
  pages     = {881--917},
  year      = {2013}
}