@inproceedings{sprenger06cryptographically,
  author       = {Sprenger, Christoph and Backes, Michael and Basin, David and Pfitzmann, Birgit and Waidner, Michael},
  title        = {Cryptographically Sound Theorem Proving},
  booktitle    = {Proceedings of 19th IEEE Computer Security Foundations Workshop (CSFW)},
  month        = {July},
  year         = {2006},
  pages        = {153-166}
}