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

Ralf Küsters Tomasz Truderung Juergen Graf

Published in: IACR Cryptol. ePrint Arch. (2012)

Keyphrases

java bytecode
data sets
databases
high level
main contribution
theoretical framework
relational databases
data model
probabilistic model
distributed systems