Using Bytecode Instrumentation to Secure Information Flow in Multithreaded Java Applications | IEEE Conference Publication | IEEE Xplore