@article{zk-soundness,
  author       = {Backes, Michael and Unruh, Dominique},
  title        = {Computational Soundness of Symbolic Zero-Knowledge Proofs},
  journal      = {Journal of Computer Security},
  volume       = {18},
  number       = {6},
  year         = {2010},
  publisher    = {IOS Press},
  pages        = {1077-1155},
  note         = {Preprint on IACR ePrint 2008/152}
}