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 |
Drucken
Impressum