Generating control flow graph from Java card byte code.

Achkar Amine Mohammed Benattou Jean-Louis Lanet

Published in: CIST (2014)

Keyphrases

byte code
java card
flow graph
smart card
static analysis
flow graphs
countermeasures
virtual machine
elliptic curve
random walk
security model
java virtual machine
information flow
control flow
information systems
shortest path
access control