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