A portable Virtual Machine target for Proof-Carrying Code.

Michael Franz Deepak Chandra Andreas Gal Vivek Haldar Fermín Reig Ning Wang

Published in: IVME (2003)

Keyphrases

virtual machine
java bytecode
java virtual machine
operating system
data center
windows xp
distributed computing
computing resources
virtual memory
low latency
cloud computing environment
multi tasking
source code
theorem prover
theorem proving
databases
java card
low cost
intrusion detection
cloud computing