@inproceedings{backes03unifying,
  author       = {Backes, Michael},
  title        = {Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions (Extended Abstract)},
  booktitle    = {Proceedings of 14th International Conference on Concurrency Theory (CONCUR)},
  series       = {Lecture Notes in Computer Science},
  volume       = {2761},
  month        = {September},
  year         = {2003},
  publisher    = {Springer},
  pages        = {350-365},
  note         = {Preprint on IACR ePrint 2003/114}
}