@inproceedings{ti-indist,
  author       = {Unruh, Dominique},
  title        = {Termination-Insensitive Computational Indistinguishability (and applications to computational soundness)},
  booktitle    = {24th IEEE Computer Security Foundations Symposium, CSF 2011},
  month        = {June},
  year         = {2011},
  publisher    = {IEEE Computer Society},
  pages        = {251-265},
  note         = {Preprint on IACR ePrint 2010/505}
}