@inproceedings{backes08formal,
  author       = {Backes, Michael and Berg, Matthias and Unruh, Dominique},
  title        = {A Formal Language for Cryptographic Pseudocode},
  booktitle    = {LPAR 2008},
  month        = {November},
  year         = {2008},
  publisher    = {Springer},
  pages        = {353-376}
}