@inproceedings{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}, title = {Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols}, booktitle = {ACM Conference on Computer and Communications Security}, year = {2012}, pages = {488-500}, ee = {http://doi.acm.org/10.1145/2382196.2382249}, crossref = {DBLP:conf/ccs/2012}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/ccs/2012, editor = {Ting Yu and George Danezis and Virgil D. Gligor}, title = {the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012}, booktitle = {ACM Conference on Computer and Communications Security}, publisher = {ACM}, year = {2012}, isbn = {978-1-4503-1651-4}, ee = {http://dl.acm.org/citation.cfm?id=2382196}, bibsource = {DBLP, http://dblp.uni-trier.de} }