@inproceedings{backes07simulatability,
  author       = {Backes, Michael and Dürmuth, Markus and Küsters, Ralf},
  title        = {On Simulatability Soundness and Mapping Soundness of
Symbolic Cryptography},
  booktitle    = {Proceedings of 27th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)},
  month        = {December},
  year         = {2007}
}