Information Flow Control Using the Java Virtual Machine Tool Interface (JVMTI) | IEEE Conference Publication | IEEE Xplore