A Framework for the Cryptographic Verification of Java-Like Programs

2012 IEEE 25th Computer Security Foundations Symposium ◽

10.1109/csf.2012.9 ◽

2012 ◽

Cited By ~ 19

Author(s):

Ralf Kusters ◽

Tomasz Truderung ◽

Jurgen Graf