TU Darmstadt / ULB / TUbiblio

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

Almeida, José Bacelar ; Bangerter, Endre ; Barbosa, Manuel ; Krenn, Stephan ; Sadeghi, Ahmad-Reza ; 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
[ Konferenzveröffentlichung] , (2010)

Typ des Eintrags: Konferenzveröffentlichung ( nicht bekannt)
Erschienen: 2010
Autor(en): Almeida, José Bacelar ; Bangerter, Endre ; Barbosa, Manuel ; Krenn, Stephan ; Sadeghi, Ahmad-Reza ; Schneider, Thomas
Titel: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
Sprache: Englisch
Buchtitel: 15. European Symposium on Research in Computer Security (ESORICS'10)
Verlag: Springer
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Praktische Kryptographie und Privatheit
Zentrale Einrichtungen
20 Fachbereich Informatik > EC SPRIDE
20 Fachbereich Informatik > EC SPRIDE > Engineering Cryptographic Protocols (am 01.03.18 aufgegangen in Praktische Kryptographie und Privatheit)
Hinterlegungsdatum: 25 Jun 2012 13:31
DOI: 10.1007/978-3-642-15497-3_10
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen