Login / Signup
A Hybrid Approach for Proving Noninterference of Java Programs.
Ralf Küsters
Tomasz Truderung
Bernhard Beckert
Daniel Bruns
Michael Kirsten
Martin Mohr
Published in:
IACR Cryptol. ePrint Arch. (2015)
Keyphrases
</>
java programs
multi threaded
software components
java language
java virtual machine
test case generation
markov random field