Extending and Applying a Framework for the Cryptographic Verification of Java Programs | SPP 1496 - RS3

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

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.