* ModChecker: Kernel Module Integrity Checking in the Cloud Environment
* Atomizer: Fast, Scalable and Lightweight Heap. Analyzer for Virtual Machines in a Cloud. Environment
* IDTchecker: Rule-Based Integrity Checking of Interrupt Descriptor Tables in Cloud Environments
