Publications

Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols

AuthID
P-008-7ED

Author(s)

Almeida, JB

Barbosa, M

Bangerter, E

Barthe, G

Krenn, S

Béguelin, SZ

Editor(s)

Yu,T;Danezis,G;Gligor,VD

Document Type

Proceedings Paper

Year published

2012

Published

in the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012 in ACM Conference on Computer and Communications Security, ISSN: 1543-7221

Pages: 488-500

Conference

2012 Acm Conference on Computer and Communications Security, Ccs 2012, Date: 16 October 2012 through 18 October 2012, Location: Raleigh, NC, Sponsors: ACM SIGSAC

Indexing