@inproceedings{backes09cosp,
  author       = {Backes, Michael and Hofheinz, Dennis and Unruh, Dominique},
  title        = {CoSP: A general framework for computational soundness proofs},
  booktitle    = {ACM CCS 2009},
  month        = {November},
  year         = {2009},
  pages        = {66-78},
  note         = {Preprint on IACR ePrint 2009/080}
}