HIPimm: Verifying Granular Immutability Guarantees
HIPimm: Verifying Granular Immutability Guarantees
MENU




(online) EXAMPLEs


HIPimm 1.0 software release is freely available for academic and non-commercial use.
For third party software, their original usage/licensing requirements apply.

Latest HIPimm's virtual machine   [Download (~4.3GB)]
The "ova" VM image (Ubuntu 10.04 Desktop host) consists of HIPimm (executables, examples, and benchmarks) and prerequisite software pre-installed. A brief manual for HIPimm's usage can be found inside the image. The image can be imported into existing VM software such as VirtualBox (recommended) and VMWare. Although the image was tested on VirtualBox, it should also work with VMWare and others. The instructions for importing the image into VirtualBox can be found here.

Technical Report

HIPimm's Description