209 search results - page 8 / 42 » Ensuring operating system kernel integrity with OSck |
SOSP
2009
ACM
14 years 4 months ago
2009
ACM
Bugs in kernel extensions remain one of the main causes of poor operating system reliability despite proposed techniques that isolate extensions in separate protection domains to ...
HOTOS
2003
IEEE
14 years 1 months ago
2003
IEEE
Cerium is a trusted computing architecture that protects a program’s execution from being tampered while the program is running. Cerium uses a physically tamperresistant CPU and...
EUROSYS
2007
ACM
14 years 4 months ago
2007
ACM
Understanding the detailed behavior of an operating system is crucial for making informed design decisions. But such an understanding is very hard to achieve, due to the increasin...
ASPLOS
2000
ACM
14 years 5 days ago
2000
ACM
This paper presents the first analysis of operating system execution on a simultaneous multithreaded (SMT) processor. While SMT has been studied extensively over the past 6 years,...
POPL
1999
ACM
14 years 4 days ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...