1299 search results - page 40 / 260 » On the Correctness of Operating System Kernels |
126
click to vote
SOSP
1989
ACM
15 years 5 months ago
1989
ACM
This paper reports our experiences implementing remote procedure call (RPC) protocols in the x-kernel. This exercise is interesting because the RPC protocols exploit two novel des...
148
click to vote
OSDI
1996
ACM
15 years 5 months ago
1996
ACM
This paper describes a mechanism by which an operating system kernel can determine with certainty that it is safe to execute a binary supplied by an untrusted source. The kernel r...
141
click to vote
SIGMETRICS
2005
ACM
15 years 9 months ago
2005
ACM
A fundamental challenge in improving the file system performance is to design effective block replacement algorithms to minimize buffer cache misses. Despite the well-known int...
113
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents a new approach to dynamically monitoring operating system kernel integrity, based on a property called state-based control-flow integrity (SBCFI). Violations ...
116
click to vote
GECCO
2010
Springer
15 years 8 months ago
2010
Springer
Gas chemical sensors are strongly affected by the so-called drift, i.e., changes in sensors’ response caused by poisoning and aging that may significantly spoil the measures g...