@misc{cryptoeprint:2010:339,
    author = {Jose Bacelar Almeida and Endre Bangerter and Manuel Barbosa and Stephan Krenn and Ahmad-Reza Sadeghi and Thomas Schneider},
    title = {A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on $\Sigma$-Protocols},
    howpublished = {Cryptology ePrint Archive, Report 2010/339},
    year = {2010},
    url = {http://eprint.iacr.org/2010/339},
}