Cinzia Bernardeschi Giuseppe Lettieri Luca Martini Paolo Masci Using Control Dependencies for Space-Aware Bytecode Verification. 234-248 2006 49 Comput. J. 2 http://dx.doi.org/10.1093/comjnl/bxh161 db/journals/cj/cj49.html#BernardeschiLMM06