@conference{DBLP:conf/post/BartheGHOB12,
author = "Gilles Barthe and Benjamin Gr{\'e}goire and Sylvain Heraud and Federico Olmedo and Santiago Zanella B{\'e}guelin",
booktitle = "POST",
crossref = "DBLP:conf/post/2012",
editor = "Pierpaolo Degano and               Joshua D. Guttman",
isbn = "978-3-642-28640-7",
note = "Projects: FP7-256980 NESSoS and FP7-229599 AMAROUT, Spanish project TIN2009-14599 DESAFIOS 10, Madrid Regional project S2009TIC-1465 PROMETIDOS and French project ANR SESUR-012 SCALP.
Partners:IMDEA, INRIA
CITE(03/03/2014):12
NOTIER",
pages = "209-228",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
title = "{V}erified {I}ndifferentiable {H}ashing into {E}lliptic {C}urves",
volume = "7215",
year = "2012",
}