{"acknowledgement":"This work is being performed within the FP7 EU project CACE (Computer Aided Cryptography Engineering).","citation":{"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.","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.","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>","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>.","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>.","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."},"date_created":"2018-12-11T12:00:38Z","month":"01","page":"51 - 62","status":"public","year":"2013","publisher":"Springer","day":"08","editor":[{"last_name":"Christianson","first_name":"Bruce","full_name":"Christianson, Bruce"},{"last_name":"Malcolm","first_name":"James","full_name":"Malcolm, James A."},{"full_name":"Matyas, Vashek","first_name":"Vashek","last_name":"Matyas"},{"first_name":"Michael","full_name":"Roe, Michael","last_name":"Roe"}],"date_published":"2013-01-08T00:00:00Z","oa":1,"volume":7028,"publist_id":"3732","date_updated":"2021-01-12T07:40:10Z","type":"conference","extern":1,"intvolume":"      7028","author":[{"last_name":"Bangerter","full_name":"Bangerter, Endre","first_name":"Endre"},{"first_name":"Stefania","full_name":"Barzan, Stefania","last_name":"Barzan"},{"last_name":"Krenn","id":"329FCCF0-F248-11E8-B48F-1D18A9856A87","first_name":"Stephan","full_name":"Stephan Krenn","orcid":"0000-0003-2835-9093"},{"last_name":"Sadeghi","first_name":"Ahmad","full_name":"Sadeghi, Ahmad-Reza"},{"last_name":"Schneider","full_name":"Schneider, Thomas","first_name":"Thomas"},{"full_name":"Tsay, Joe-Kai","first_name":"Joe","last_name":"Tsay"}],"doi":"10.1007/978-3-642-36213-2_9","conference":{"name":"SPW: Security Protocols Workshop"},"_id":"2973","main_file_link":[{"url":"http://eprint.iacr.org/2009/211.pdf","open_access":"1"}],"title":"Bringing Zero-Knowledge Proofs of Knowledge to Practice","alternative_title":["LNCS"],"quality_controlled":0,"publication_status":"published","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."}]}