A Certified Lightweight Non-interference Java Bytecode Verifier.

Gilles Barthe David Pichardie Tamara Rezk

Published in: ESOP (2007)

Keyphrases

lightweight
java bytecode
virtual machine
programming language
garbage collection
efficient execution
intermediate representation
java virtual machine
database
communication infrastructure
memory management
general purpose
operating system
rfid tags