the aegis vm project

We have hosted the application the aegis vm project in order to run this application in our online workstations with Wine or directly.

Quick description about the aegis vm project:

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.

Audience: Developers.

Programming Language: C, Java.

.