@techreport{BeckertBruns2012,
  author      = {Bernhard Beckert and Daniel Bruns and Ralf K\"usters and
                 Christoph Scheben and Schmitt, Peter H. and Tomasz Truderung},
  title       = {The {\KeY} Approach for the Cryptographic Verification of
                 {J}ava Programs: {A} Case Study},
  institution = {Karlsruhe Institute of Technology, Dept. of Informatics},
  type        = {Karlsruhe Reports in Informatics},
  number      = {2012-8},
  year        = {2011}
}