137 search results - page 11 / 28 » Justifying Integrity Using a Virtual Machine Verifier |
SOSP
2003
ACM
14 years 4 months ago
2003
ACM
We present a flexible architecture for trusted computing, called Terra, that allows applications with a wide range of security requirements to run simultaneously on commodity har...
CCS
2009
ACM
14 years 2 months ago
2009
ACM
Kernel-level attacks or rootkits can compromise the security of an operating system by executing with the privilege of the kernel. Current approaches use virtualization to gain hi...
IPPS
1998
IEEE
13 years 11 months ago
1998
IEEE
Abstract. Several computing environments including wide area networks and nondedicated networks of workstations are characterized by frequent unavailability of the participating ma...
HAPTICS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract. The shape recognition of an object is important for dexterous manipulation by humans. Therefore, we have developed a haptic display that integrates both electrotactile an...
SOSP
2007
ACM
14 years 4 months ago
2007
ACM
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...