Computational Soundness of Symbolic Zero-Knowledge Proofs

Michael Backes , Dominique Unruh

Journal of Computer Security, 18 (6), pp. 1077-1155, 2010, (Preprint on IACR ePrint 2008/152).

( BibTeX )