---
res:
  bibo_abstract:
  - "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.@eng"
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Endre
      foaf_name: Bangerter, Endre
      foaf_surname: Bangerter
  - foaf_Person:
      foaf_givenName: Stefania
      foaf_name: Barzan, Stefania
      foaf_surname: Barzan
  - foaf_Person:
      foaf_givenName: Stephan
      foaf_name: Stephan Krenn
      foaf_surname: Krenn
      foaf_workInfoHomepage: http://www.librecat.org/personId=329FCCF0-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0003-2835-9093
  - foaf_Person:
      foaf_givenName: Ahmad
      foaf_name: Sadeghi, Ahmad-Reza
      foaf_surname: Sadeghi
  - foaf_Person:
      foaf_givenName: Thomas
      foaf_name: Schneider, Thomas
      foaf_surname: Schneider
  - foaf_Person:
      foaf_givenName: Joe
      foaf_name: Tsay, Joe-Kai
      foaf_surname: Tsay
  bibo_doi: 10.1007/978-3-642-36213-2_9
  bibo_volume: 7028
  dct_date: 2013^xs_gYear
  dct_publisher: Springer@
  dct_title: Bringing Zero-Knowledge Proofs of Knowledge to Practice@
...