A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
José Bacelar Almeida, Endre Bangerter, Manuel Barbosa, Stephan Krenn, Ahmad-Reza Sadeghi, Thomas Schneider
15th European Symposium on Research in Computer Security (ESORICS'10), September 20-22, Athens, Greece.
[pdf]