Galen C. Hunt, Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Orion Hodson, James R. Larus, Steven Levi, Bjarne Steensgaard, David Tarditi, Ted Wobber. Sealing OS processes to improve dependability and safety. In Paulo Ferreira, Thomas R. Gross, Luís Veiga, editors, Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007. pages 341-354, ACM, 2007. [doi]