Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 5 results:
Author Title Type [ Year(Asc)]
Filters: Author is J. Graf  [Clear All Filters]
2014
R. Küsters, Scapin, E., Truderung, T., and Graf, J., Extending and Applying a Framework for the Cryptographic Verification of Java Programs, in Proceedings of the 3rd Conference on Principles of Security and Trust (POST 2014), 2014.
2012
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.