A Space-Aware Bytecode Verifier for Java Cards.

Cinzia Bernardeschi Giuseppe Lettieri Luca Martini Paolo Masci

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

java card
source code
java virtual machine
byte code
smart card
programming language
open source
neural network
java bytecode
space time
lightweight
databases
database applications
higher dimensional
java programs
object oriented
web services