Francis M. David Ellick Chan Jeffrey C. Carlyle Roy H. Campbell CuriOS: Improving Reliability through Operating System Structure. 59-72 2008 OSDI http://www.usenix.org/events/osdi08/tech/full_papers/david/david.pdf conf/osdi/2008 db/conf/osdi/osdi2008.html#DavidCCC08