@conference{DBLP:conf/ccs/AlmeidaBBBKB12,
author = "Jos{\'e} Bacelar Almeida and Manuel Barbosa and Endre Bangerter and Gilles Barthe and Stephan Krenn and Santiago Zanella B{\'e}guelin",
booktitle = "ACM Conference on Computer and Communications Security",
editor = "Ting Yu and               George Danezis and               Virgil D. Gligor",
isbn = "978-1-4503-1651-4",
note = "PROJECTS: This work was partially funded by National Funds through the FCT - Funda{\c{c}}{\~a}o para a Ci{\^e}ncia e a Tecnologia (Portuguese Foundation for Science and Technology) within project ENI-
AC/2224/2009, by ENIAC Joint Undertaking under grant agreement number 120224, European Projects FP7-256980 NESSoS and FP7-229599 AMAROUT, Spanish National project TIN2009-14599 DESAFIOS 10, and Madrid Regional project S2009TIC-1465 PROMETIDOS
PARTNER: IMDEA
TIER: A
CITE(03/03/2014): 12",
pages = "488-500",
publisher = "ACM",
title = "{F}ull proof cryptography: verifiable compilation of efficient               zero-knowledge protocols",
year = "2012",
}