@conference {inp:KuestersTruderungGraf2012a, title = {{A Framework for the Cryptographic Verification of Java-like Programs}}, booktitle = {Proceedings of the 25th IEEE Computer Security Foundations Symposium (CSF 2012)}, year = {2012}, author = {R. K{\"u}sters and T. Truderung and J. Graf} }