Computational Soundness of Symbolic Zero-Knowledge Proofs against Active Attackers under Relaxed Assumptions

Esfandiar Mohammadi

Master Thesis Saarland University, 2009.

( BibTeX )