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. Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols. IACR Cryptology ePrint Archive, 2012:258, 2012. [doi]

Authors

José Bacelar Almeida

This author has not been identified. Look up 'José Bacelar Almeida' in Google

Manuel Barbosa

This author has not been identified. It may be one of the following persons: Look up 'Manuel Barbosa' in Google

Endre Bangerter

This author has not been identified. Look up 'Endre Bangerter' in Google

Gilles Barthe

This author has not been identified. Look up 'Gilles Barthe' in Google

Stephan Krenn

This author has not been identified. Look up 'Stephan Krenn' in Google

Santiago Zanella Béguelin

This author has not been identified. Look up 'Santiago Zanella Béguelin' in Google