@article{probtm,
  author       = {Klingler, Lee and Steinwandt, Rainer and Unruh, Dominique},
  title        = {On using probabilistic Turing machines to model participants in cryptographic protocols},
  journal      = {Theoretical Computer Science},
  volume       = {501},
  year         = {2013},
  publisher    = {Elsevier},
  pages        = {49-51}
}