Export 1 results:
Author Title Type [ Year
] Filters: First Letter Of Title is F and Author is J. Graf [Clear All Filters]
, “A Framework for the Cryptographic Verification of Java-like Programs”, in Proceedings of the 25th IEEE Computer Security Foundations Symposium (CSF 2012), 2012.