@inproceedings{backes05fairness,
  author       = {Backes, Michael and Hofheinz, Dennis and M\"{u}ller-Quade, J\"{o}rn and Unruh, Dominique},
  title        = {On Fairness in Simulatability-based Cryptographic Systems},
  booktitle    = {3rd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code},
  month        = {September},
  year         = {2005},
  pages        = {13-22},
  note         = {Preprint on IACR ePrint 2005/294}
}