Verified bytecode verification and type-certifying compilation.

Gerwin Klein Martin Strecker

Published in: J. Log. Algebraic Methods Program. (2004)

Keyphrases

java card
model checking
smart card
website
database
neural network
virtual machine
real world
query processing
programming language
face verification
java bytecode