@inproceedings{backes08computational,
  author       = {Backes, Michael and Unruh, Dominique},
  title        = {Computational Soundness of Symbolic Zero-Knowledge Proofs
    Against Active Attackers},
  booktitle    = {21st IEEE Computer Security Foundations Symposium, CSF 2008},
  month        = {June},
  year         = {2008},
  pages        = {255-269},
  note         = {Preprint on IACR ePrint 2008/152}
}