Login / Signup
A formal proof of security of Zhang and Kim's ID-based ring signature scheme.
Javier Herranz
Published in:
WOSIS (2004)
Keyphrases
</>
ring signature scheme
formal proof
ring signature
designated verifier
theorem prover
electronic voting