A Framework for the Cryptographic Verification of Java-like Programs | SPP 1496 - RS3

Reliably Secure Software Systems (RS³) –
DFG Priority Programme 1496

R. Küsters, Truderung, T., and Graf, J., “A Framework for the Cryptographic Verification of Java-like Programs”, in Proceedings of the 25th IEEE Computer Security Foundations Symposium (CSF 2012), 2012.