Ensuring operating system kernel integrity with OSck

  title={Ensuring operating system kernel integrity with OSck},
  author={Owen S. Hofmann and Alan M. Dunn and Sangman Kim and Indrajit Roy and Emmett Witchel},
Kernel rootkits that modify operating system state to avoid detection are a dangerous threat to system security. This paper presents OSck, a system that discovers kernel rootkits by detecting malicious modifications to operating system data. OSck integrates and extends existing techniques for detecting rootkits, and verifies safety properties for large portions of the kernel heap with minimal overhead. We deduce type information for verification by analyzing unmodified kernel source code and in… CONTINUE READING
Highly Influential
This paper has highly influenced 22 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 136 citations. REVIEW CITATIONS
89 Citations
7 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 89 extracted citations

136 Citations

Citations per Year
Semantic Scholar estimates that this publication has 136 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-7 of 7 references

Automated detection of persistent kernel control-flow attacks

  • N. L. Petroni, Jr., M. Hicks
  • In Proceedings of the 14th ACM Conference on…
  • 2007
Highly Influential
5 Excerpts

SLOCCount. http://www.dwheeler.com/ sloccount

  • D. Wheeler
  • 2001
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…