Cryptology ePrint Archive: Report 2008/152
Available versions in chronological order
20080408:091500 (posted 08-Apr-2008 09:15:00 UTC)
Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers
Michael Backes and Dominique Unruh
Publication Info: A short version appears at CSF 2008
20080417:153428 (posted 17-Apr-2008 15:34:28 UTC)
Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers
Michael Backes and Dominique Unruh
Publication Info: A short version appears at CSF 2008
20080624:024210 (posted 24-Jun-2008 02:42:10 UTC)
Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers
Michael Backes and Dominique Unruh
Publication Info: A short version appears at CSF 2008
20090910:162926 (posted 10-Sep-2009 16:29:26 UTC)
Computational soundness of symbolic zero-knowledge proofs
Michael Backes and Dominique Unruh
Publication Info: A short version appears at CSF 2008
[
Cryptology ePrint archive
]