Login / Signup

A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols.

José Bacelar AlmeidaEndre BangerterManuel BarbosaStephan KrennAhmad-Reza SadeghiThomas Schneider
Published in: ESORICS (2010)
Keyphrases