Michael Backes Dominique Unruh Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers. 255-269 2008 CSF http://doi.ieeecomputersociety.org/10.1109/CSF.2008.20 conf/csfw/2008 db/conf/csfw/csf2008.html#BackesU08