A Framework for the Cryptographic Verification of Java-Like Programs.

Ralf Küsters Tomasz Truderung Juergen Graf

Published in: CSF (2012)

Keyphrases

main contribution
java bytecode
theoretical framework
conceptual framework
java programs
database
information systems
distributed systems
lightweight
database applications
answer sets