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.
Project Admins:
pwlfong
Operating System:
All POSIX (Linux/BSD/UNIX-like OSes), Linux
License:
GNU Library or Lesser General Public License (LGPL)
Category:
Security, Interpreters
Buy expert services from Sourceforge.net Marketplace. Support from the people who know.