Ralf Küsters, Tomasz Truderung, Juergen Graf. A Framework for the Cryptographic Verification of Java-like Programs. IACR Cryptology ePrint Archive, 2012:153, 2012. [doi]
@article{KustersTG12-0,
title = {A Framework for the Cryptographic Verification of Java-like Programs},
author = {Ralf Küsters and Tomasz Truderung and Juergen Graf},
year = {2012},
url = {http://eprint.iacr.org/2012/153},
note = {informal publication},
researchr = {https://researchr.org/publication/KustersTG12-0},
cites = {0},
citedby = {0},
journal = {IACR Cryptology ePrint Archive},
volume = {2012},
pages = {153},
}