E. Bangerter
AuthID: R-007-0H0
1
TÃTULO: Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols Full Text
AUTORES: Almeida, JB ; Barbosa, M ; Bangerter, E; Barthe, G ; Krenn, S; Beguelin, SZ;
PUBLICAÇÃO: 2012, FONTE: 2012 ACM Conference on Computer and Communications Security, CCS 2012 in Proceedings of the ACM Conference on Computer and Communications Security
AUTORES: Almeida, JB ; Barbosa, M ; Bangerter, E; Barthe, G ; Krenn, S; Beguelin, SZ;
PUBLICAÇÃO: 2012, FONTE: 2012 ACM Conference on Computer and Communications Security, CCS 2012 in Proceedings of the ACM Conference on Computer and Communications Security
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP2
TÃTULO: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
AUTORES: Jose Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLICAÇÃO: 2010, FONTE: 15th European Symposium on Research in Computer Security in COMPUTER SECURITY-ESORICS 2010, VOLUME: 6345
AUTORES: Jose Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLICAÇÃO: 2010, FONTE: 15th European Symposium on Research in Computer Security in COMPUTER SECURITY-ESORICS 2010, VOLUME: 6345
3
TÃTULO: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
AUTORES: José Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLICAÇÃO: 2010, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2010
AUTORES: José Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLICAÇÃO: 2010, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2010
INDEXADO EM: DBLP
DBLP4
TÃTULO: Using Compilers to Enhance Cryptographic Product Development
AUTORES: Endre Bangerter; Manuel Barbosa ; Bernstein, D; Ivan Damgård; Daniel Page; Jakob Illeborg Pagter; Ahmad Reza Sadeghi; Sovio, S;
PUBLICAÇÃO: 2009, FONTE: ISSE 2009 - Securing Electronic Business Processes, Highlights of the Information Security Solutions Europe 2009 Conference, The Hague, The Netherlands, October 6-8, 2009
AUTORES: Endre Bangerter; Manuel Barbosa ; Bernstein, D; Ivan Damgård; Daniel Page; Jakob Illeborg Pagter; Ahmad Reza Sadeghi; Sovio, S;
PUBLICAÇÃO: 2009, FONTE: ISSE 2009 - Securing Electronic Business Processes, Highlights of the Information Security Solutions Europe 2009 Conference, The Hague, The Netherlands, October 6-8, 2009
