Generating control flow graph from Java card byte code | IEEE Conference Publication | IEEE Xplore