A certified lightweight non-interference Java bytecode verifier.

Gilles Barthe David Pichardie Tamara Rezk

Published in: Math. Struct. Comput. Sci. (2013)

Keyphrases

lightweight
java bytecode
virtual machine
programming language
java virtual machine
intermediate representation
efficient execution
garbage collection
development environments
database
wireless sensor networks