@article{backes05unifying,
  author       = {Backes, Michael},
  title        = {Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions},
  journal      = {Journal of Logic and Algebraic Programming (JLAP)},
  volume       = {2},
  year         = {2005},
  pages        = {157-188}
}