Using Control Dependencies for Space-Aware Bytecode Verification. - Bernardeschi, C.; Lettieri, G.; Martini, L. (Computer Journal, 2006)