Cryptology ePrint Archive: Report 2014/038

Available versions in chronological order

20140114:121030 (posted 14-Jan-2014 12:10:30 UTC): Extending and Applying a Framework for the Cryptographic Verification of Java Programs.; Ralf K\"usters and Enrico Scapin and Tomasz Truderung and J\"urgen Graf; Original publication (with major differences): 3rd Conference on Principles of Security and Trust (POST 2014)
20140114:143412 (posted 14-Jan-2014 14:34:12 UTC): Extending and Applying a Framework for the Cryptographic Verification of Java Programs.; Ralf K\"{u}sters and Enrico Scapin and Tomasz Truderung and J\"{u}rgen Graf; Original publication (with major differences): 3rd Conference on Principles of Security and Trust (POST 2014)
20140114:143540 (posted 14-Jan-2014 14:35:40 UTC): Extending and Applying a Framework for the Cryptographic Verification of Java Programs.; Ralf Küsters and Enrico Scapin and Tomasz Truderung and Jürgen Graf; Original publication (with major differences): 3rd Conference on Principles of Security and Trust (POST 2014)
20140117:100310 (posted 17-Jan-2014 10:03:10 UTC): Extending and Applying a Framework for the Cryptographic Verification of Java Programs.; Ralf Kuesters and Enrico Scapin and Tomasz Truderung and Juergen Graf; Original publication (with major differences): 3rd Conference on Principles of Security and Trust (POST 2014)