A Framework for the Cryptographic Verification of Java-Like Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ralf Küsters, Tomasz Truderung, Juergen Graf. A Framework for the Cryptographic Verification of Java-Like Programs. In Stephen Chong, editor, 25th IEEE Computer Security Foundations Symposium, CSF 2012, Cambridge, MA, USA, June 25-27, 2012. pages 198-212, IEEE, 2012. [doi]

This author has not been identified. Look up 'Ralf Küsters' in GoogleThis author has not been identified. Look up 'Tomasz Truderung' in GoogleThis author has not been identified. Look up 'Juergen Graf' in Google

runs on WebDSL