@misc{cryptoeprint:2008:471, author = {Endre Bangerter and Jan Camenisch and Stephan Krenn and Ahmad-Reza Sadeghi and Thomas Schneider}, title = {Automatic Generation of Sound Zero-Knowledge Protocols}, howpublished = {Cryptology ePrint Archive, Report 2008/471}, year = {2008}, url = {http://eprint.iacr.org/2008/471}, }