Login / Signup
Extending and Applying a Framework for the Cryptographic Verification of Java Programs.
Ralf Küsters
Enrico Scapin
Tomasz Truderung
Juergen Graf
Published in:
IACR Cryptol. ePrint Arch. (2014)
Keyphrases
</>
java programs
artificial intelligence
programming language
low cost
java language