Extending and Applying a Framework for the Cryptographic Verification of Java Programs (2014)

by R Küsters, E Scapin, T Truderung, J Graf
Venue:in Principles of Security and Trust - Third International Conference, POST 2014, ser. Lecture Notes in Computer Science