Cryptology ePrint Archive: Report 2014/038

Available versions in chronological order


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)

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)

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)

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)


[ Cryptology ePrint archive ]