papers for bytecode verification added