Full proof cryptography: verifiable compilation of efficient               zero-knowledge protocols

José Bacelar Almeida; Manuel Barbosa; Endre Bangerter; Gilles Barthe; Stephan Krenn; Santiago Zanella Béguelin

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols

BibTex:
Research Area:	Uncategorized	Year:	2012
Type of Publication:	In Proceedings
Authors:	Almeida, José Bacelar Barbosa, Manuel Bangerter, Endre Barthe, Gilles Krenn, Stephan Béguelin, Santiago Zanella
Editor:	Ting Yu and George Danezis and Virgil D. Gligor
Book title:	ACM Conference on Computer and Communications Security
Pages:	488-500


ISBN:	978-1-4503-1651-4

@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", }
Note:	PROJECTS: This work was partially funded by National Funds through the FCT - Fundação para a Ciê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
[Bibtex]

[ Back ]

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Surveys

Main Menu

Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols