Generating control flow graph from Java card byte code. - Achkar Amine; Mohammed Benattou; Jean-Louis Lanet (CIST, 2014)