Using standard verifier to check secure information flow in Java bytecode | IEEE Conference Publication | IEEE Xplore