The Aegis VM Project is an on-going effort to implement a lightweight, secure virtual machine for executing Java bytecode. It will eventually feature a modular architecture, Proof Linking, that supports pluggable verification modules.
There are no reported vulnerabilities