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