Almeida JB, Bangerter E, Barbosa MB, Krenn S, Sadeghi AR, Schneider T.? 2010.??A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols. European Symposium on Research in Computer Security - ESORICS. :151-167.