@article{DBLP:journals/jcs/BartheGHOB13, author = "Gilles Barthe and Benjamin Gr{\'e}goire and Sylvain Heraud and Federico Olmedo and Santiago Zanella B{\'e}guelin", journal = "Journal of Computer Security", note = "PARTNERS: IMDEA PROJECTS: European Projects FP7-256980 NESSoS and FP7-229599 AMAROUT, Spanish project TIN2 009-14599 DESAFIOS 10, Madrid Regional project S2009TIC-1465 PROMETIDOS and French project ANR SESUR-012 SCALP. CITE(03/03/2014):12", number = "6", pages = "881-917", title = "{V}erified indifferentiable hashing into elliptic curves", volume = "21", year = "2013", }