TU Darmstadt / ULB / TUbiblio

A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols

Almeida, José Bacelar and Bangerter, Endre and Barbosa, Manuel and Krenn, Stephan and Sadeghi, Ahmad-Reza and Schneider, Thomas :
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.
15. European Symposium on Research in Computer Security (ESORICS'10) Springer
[Conference or Workshop Item] , (2010)

Item Type: Conference or Workshop Item
Erschienen: 2010
Creators: Almeida, José Bacelar and Bangerter, Endre and Barbosa, Manuel and Krenn, Stephan and Sadeghi, Ahmad-Reza and Schneider, Thomas
Title: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
Language: English
Title of Book: 15. European Symposium on Research in Computer Security (ESORICS'10)
Publisher: Springer
Divisions: Department of Computer Science
Department of Computer Science > Cryptography and Privacy Engineering (ENCRYPTO)
Zentrale Einrichtungen
Department of Computer Science > EC SPRIDE
Department of Computer Science > EC SPRIDE > Engineering Cryptographic Protocols (am 01.03.2018 in Cryptography and Privacy Engineering)
Date Deposited: 25 Jun 2012 13:31
DOI: 10.1007/978-3-642-15497-3_10
Export:

Optionen (nur für Redakteure)

View Item View Item