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

Browse the full ESORICS paper archive.