Can We Make Operating Systems Reliable and Secure?

First Page		Document Content
Date: 2007-03-16 20:15:33 Computing platforms Monolithic kernels MINIX 3 Kernel Microkernel Operating system L4 microkernel family MINIX Linux kernel Computer architecture Computing System software		Can We Make Operating Systems Reliable and Secure? Add to Reading List Source URL: www.cs.vu.nl Download Document from Source Website File Size: 71,27 KB Share Document on Facebook

	The Jury Is In: Monolithic OS Design Is Flawed Microkernel-based Designs Improve Security Simon Biggs, Damon Lee, DocID: 1xVEb - View Document
	SAMSUNG RESEARCH AMERICA – SILICON VALLEY. JANUARY 31, A Scalable High-Performance In-Memory Key-Value Cache using a Microkernel-Based Design DocID: 1t7hh - View Document
	Attested Append-Only Memory: Making Adversaries Stick to their Word Byung-Gon Chun† Petros Maniatis⋆ Scott Shenker†‡ † DocID: 1rqQM - View Document
	An experience report on the integration of ECU software using an HSF-enabled real-time kernel Martijn M.H.P. van den Heuvel, Erik J. Luit, Reinder J. Bril, Johan J. Lukkien, Richard Verhoeven and Mike Holenderski Departm DocID: 1qRDg - View Document
	OS-S OMMELIER: Memory-Only Operating System Fingerprinting in the Cloud Yufei Gu† , Yangchun Fu† , Aravind Prakash‡ , Zhiqiang Lin† , Heng Yin‡ Department of Computer Science The University of Texas at Dallas 8 DocID: 1qyWL - View Document