Advanced Development of Certified OS Kernels

  title={Advanced Development of Certified OS Kernels},
  author={Zhong Shao and Bryan Ford},
1 Innovative Claims Operating System (OS) kernels form the bedrock of all system software—they can have the greatest impact on the resilience, extensibility, and security of today's computing hosts. A single kernel bug can easily wreck the entire system's integrity and protection. We propose to apply new advances in certified software [86] to the development of a novel OS kernel. Our certified kernel will offer safe and application-specific extensibility [8], provable security properties with… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 98 references

Labels and event processes in the Asbestos operating system

ACM Trans. Comput. Syst. • 2007
View 11 Excerpts
Highly Influenced

A preprint is available at

Z. Shao
Certified software. Communications of the ACM, page (to appear), • 2010
View 2 Excerpts

Certified software

Commun. ACM • 2010

Similar Papers

Loading similar papers…