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 (2010):
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.
In: 15. European Symposium on Research in Computer Security (ESORICS'10), Springer, DOI: 10.1007/978-3-642-15497-3_10, [Conference or Workshop Item]

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: 20 Department of Computer Science
20 Department of Computer Science > Cryptography and Privacy Engineering (ENCRYPTO)
Zentrale Einrichtungen
20 Department of Computer Science > EC SPRIDE
20 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