@inproceedings{backes05fairness,
  author       = {Backes, Michael and Hofheinz, Dennis and Mueller-Quade, Joern and Unruh, Dominique},
  title        = {On Fairness in Simulatability-based Cryptographic Systems},
  booktitle    = {Proceedings of 2005 ACM Workshop on Formal Methods in Security Engineering (FMSE)},
  month        = {November},
  year         = {2005},
  pages        = {13-22}
}