A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols Artigo Académico uri icon

autores

  • José Carlos Bacelar Almeida
  • Almeida, JB
  • Bangerter, E
  • Barbosa, M
  • Krenn, S
  • Sadeghi, AR
  • Schneider, T

data de publicação

  • janeiro 1, 2010