A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Σ-ProtocolsJosé Bacelar Almeida, Thomas Schneider, Endre Bangerter et al.|Lecture notes in computer science|2010Cited by 52