1299 search results - page 71 / 260 » On the Correctness of Operating System Kernels |
131
click to vote
DIMVA
2009
15 years 5 months ago
2009
Abstract. This paper introduces a new software polymorphism technique that randomizes program data structure layout. This technique will generate different data structure layouts f...
127
click to vote
HPCN
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. In this paper the design and validation of a high performance simulation is discussed that is of critical value to the feasibility study of the GRAIL project, the aim of ...
138
click to vote
USENIX
2003
15 years 5 months ago
2003
Cryptographic transformations are a fundamental building block in many security applications and protocols. To improve performance, several vendors market hardware accelerator car...
123
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Researchers and practitioners in the area of parallel and distributed computing have been lacking a portable, flexible and robust distributed instrumentation system. We present th...
168
click to vote
SP
1999
IEEE
15 years 8 months ago
1999
IEEE
Intrusion detection systems rely on a wide variety of observable data to distinguish between legitimate and illegitimate activities. In this paper we study one such observable-seq...