@inproceedings{backes08computational,
  author       = {Backes, Michael and Unruh, Dominique},
  title        = {Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active },
  booktitle    = {Proceedings of 21st IEEE Computer Security Foundations Symposium (CSF)},
  month        = {June},
  year         = {2008}
}