@InProceedings{Barthe:2012:POST,
  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",
  booktitle = "1st International Conference on Principles of Security and Trust, POST 2012",
  pages     = "209-228",
  publisher = "Springer",
  series    = "Lecture Notes in Computer Science",
  volume    = "7215",
  year      = "2012",
  url       = "http://dx.doi.org/10.1007/978-3-642-28641-4_12"
}