JUCS
2010
13 years 3 months ago
2010
: In this paper, we describe the static analysis of the XEN 3.0.3 hypervisor using the Frama-C static analysis tool.
USS
2008
13 years 6 months ago
2008
Hypervisors have been proposed as a security tool to defend against malware that subverts the OS kernel. However, hypervisors must deal with the semantic gap between the low-level...