---
_id: '2973'
abstract:
- lang: eng
  text: "Efficient zero-knowledge proofs of knowledge (ZK-PoK) are basic building
    blocks of many practical cryptographic applications such as identification schemes,
    group signatures, and secure multiparty computation. Currently, first applications
    that critically rely on ZK-PoKs are being deployed in the real world. The most
    prominent example is Direct Anonymous Attestation (DAA), which was adopted by
    the Trusted Computing Group (TCG) and implemented as one of the functionalities
    of the cryptographic Trusted Platform Module (TPM) chip.\n\nImplementing systems
    using ZK-PoK turns out to be challenging, since ZK-PoK are, loosely speaking,
    significantly more complex than standard crypto primitives, such as encryption
    and signature schemes. As a result, implementation cycles of ZK-PoK are time-consuming
    and error-prone, in particular for developers with minor or no cryptographic skills.
    \n\nIn this paper we report on our ongoing and future research vision with the
    goal to bring ZK-PoK to practice by making them accessible to crypto and security
    engineers. To this end we are developing compilers and related tools that support
    and partially automate the design, implementation, verification and secure implementation
    of ZK-PoK protocols."
acknowledgement: This work is being performed within the FP7 EU project CACE (Computer
  Aided Cryptography Engineering).
alternative_title:
- LNCS
author:
- first_name: Endre
  full_name: Bangerter, Endre
  last_name: Bangerter
- first_name: Stefania
  full_name: Barzan, Stefania
  last_name: Barzan
- first_name: Stephan
  full_name: Stephan Krenn
  id: 329FCCF0-F248-11E8-B48F-1D18A9856A87
  last_name: Krenn
  orcid: 0000-0003-2835-9093
- first_name: Ahmad
  full_name: Sadeghi, Ahmad-Reza
  last_name: Sadeghi
- first_name: Thomas
  full_name: Schneider, Thomas
  last_name: Schneider
- first_name: Joe
  full_name: Tsay, Joe-Kai
  last_name: Tsay
citation:
  ama: 'Bangerter E, Barzan S, Krenn S, Sadeghi A, Schneider T, Tsay J. Bringing Zero-Knowledge
    Proofs of Knowledge to Practice. In: Christianson B, Malcolm J, Matyas V, Roe
    M, eds. Vol 7028. Springer; 2013:51-62. doi:<a href="https://doi.org/10.1007/978-3-642-36213-2_9">10.1007/978-3-642-36213-2_9</a>'
  apa: 'Bangerter, E., Barzan, S., Krenn, S., Sadeghi, A., Schneider, T., &#38; Tsay,
    J. (2013). Bringing Zero-Knowledge Proofs of Knowledge to Practice. In B. Christianson,
    J. Malcolm, V. Matyas, &#38; M. Roe (Eds.) (Vol. 7028, pp. 51–62). Presented at
    the SPW: Security Protocols Workshop, Springer. <a href="https://doi.org/10.1007/978-3-642-36213-2_9">https://doi.org/10.1007/978-3-642-36213-2_9</a>'
  chicago: Bangerter, Endre, Stefania Barzan, Stephan Krenn, Ahmad Sadeghi, Thomas
    Schneider, and Joe Tsay. “Bringing Zero-Knowledge Proofs of Knowledge to Practice.”
    edited by Bruce Christianson, James Malcolm, Vashek Matyas, and Michael Roe, 7028:51–62.
    Springer, 2013. <a href="https://doi.org/10.1007/978-3-642-36213-2_9">https://doi.org/10.1007/978-3-642-36213-2_9</a>.
  ieee: 'E. Bangerter, S. Barzan, S. Krenn, A. Sadeghi, T. Schneider, and J. Tsay,
    “Bringing Zero-Knowledge Proofs of Knowledge to Practice,” presented at the SPW:
    Security Protocols Workshop, 2013, vol. 7028, pp. 51–62.'
  ista: 'Bangerter E, Barzan S, Krenn S, Sadeghi A, Schneider T, Tsay J. 2013. Bringing
    Zero-Knowledge Proofs of Knowledge to Practice. SPW: Security Protocols Workshop,
    LNCS, vol. 7028, 51–62.'
  mla: Bangerter, Endre, et al. <i>Bringing Zero-Knowledge Proofs of Knowledge to
    Practice</i>. Edited by Bruce Christianson et al., vol. 7028, Springer, 2013,
    pp. 51–62, doi:<a href="https://doi.org/10.1007/978-3-642-36213-2_9">10.1007/978-3-642-36213-2_9</a>.
  short: E. Bangerter, S. Barzan, S. Krenn, A. Sadeghi, T. Schneider, J. Tsay, in:,
    B. Christianson, J. Malcolm, V. Matyas, M. Roe (Eds.), Springer, 2013, pp. 51–62.
conference:
  name: 'SPW: Security Protocols Workshop'
date_created: 2018-12-11T12:00:38Z
date_published: 2013-01-08T00:00:00Z
date_updated: 2021-01-12T07:40:10Z
day: '08'
doi: 10.1007/978-3-642-36213-2_9
editor:
- first_name: Bruce
  full_name: Christianson, Bruce
  last_name: Christianson
- first_name: James
  full_name: Malcolm, James A.
  last_name: Malcolm
- first_name: Vashek
  full_name: Matyas, Vashek
  last_name: Matyas
- first_name: Michael
  full_name: Roe, Michael
  last_name: Roe
extern: 1
intvolume: '      7028'
main_file_link:
- open_access: '1'
  url: http://eprint.iacr.org/2009/211.pdf
month: '01'
oa: 1
page: 51 - 62
publication_status: published
publisher: Springer
publist_id: '3732'
quality_controlled: 0
status: public
title: Bringing Zero-Knowledge Proofs of Knowledge to Practice
type: conference
volume: 7028
year: '2013'
...