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