@article{backes10computational,
  author       = {Backes, Michael and Unruh, Dominique},
  title        = {Computational Soundness of Symbolic Zero-Knowledge Proofs},
  journal      = {Journal of Computer Security},
  year         = {2010},
  note         = {Preprint on IACR ePrint 2008/152, to appear}
}