@inproceedings{zk-cosp,
  author       = {Backes, Michael and Bendun, Fabian and Unruh, Dominique},
  title        = {Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification},
  booktitle    = {POST 2013},
  series       = {LNCS},
  volume       = {7796},
  year         = {2013},
  publisher    = {Springer},
  pages        = {206-225},
  note         = {Preprint on IACR ePrint 2012/081}
}