Using Standard Verifier to Check Secure Information Flow in Java Bytecode.

Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri

Browse the full COMPSAC paper archive.