@InProceedings{Olmedo: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 = {First International Conference on Principles of Security and Trust -- {POST} 2012}, 
  publisher = "Springer",
  series    = "Lecture Notes in Computer Science",
  year      = "2012",
}