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
[Konferenz- oder Workshop-Beitrag], (2010)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
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 > Engineering Cryptographic Protocols (ENCRYPTO)
Zentrale Einrichtungen
20 Fachbereich Informatik > EC SPRIDE
20 Fachbereich Informatik > EC SPRIDE > Engineering Cryptographic Protocols (am 01.03.18 aufgegangen in ENCRYPTO)
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