José Bacelar Almeida, Manuel Barbosa, Endre Bangerter, Gilles Barthe, Stephan Krenn, Santiago Zanella Béguelin. Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols. IACR Cryptology ePrint Archive, 2012:258, 2012. [doi]
@article{AlmeidaBBBKB12-0,
title = {Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols},
author = {José Bacelar Almeida and Manuel Barbosa and Endre Bangerter and Gilles Barthe and Stephan Krenn and Santiago Zanella Béguelin},
year = {2012},
url = {http://eprint.iacr.org/2012/258},
note = {informal publication},
researchr = {https://researchr.org/publication/AlmeidaBBBKB12-0},
cites = {0},
citedby = {0},
journal = {IACR Cryptology ePrint Archive},
volume = {2012},
pages = {258},
}