A certified lightweight non-interference Java bytecode verifier | Publicación