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

	ARMlock: Hardware-based Fault Isolation for ARM Yajin Zhou, Xiaoguang Wang, Yue Chen, and Zhi Wang North Carolina State University Xi’an Jiaotong University Florida State University DocID: 1roQV - View Document
	Meetup Toulouse, MayUnderstanding D-Bus Myl`ene Josserand Free Electrons DocID: 1regJ - View Document
	lowRISC Summer of Code TCP/IP Offload to Minion Cores using Rump Kernels Sebastian Wicki Mentored by: Justin Cormack, Antti Kantee Organizer: Alex Bradbury, lowRISC DocID: 1qZ7J - View Document
	Tradition Sandstorm 95% of CVEs? DocID: 1qXR3 - View Document
	Anatomy of a Remote Kernel Exploit Dan Rosenberg Copyright © 2011 Virtual Security Research, LLC. DocID: 1qVjv - View Document