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]
@inproceedings{HuntAFHHLLSTW07,
title = {Sealing OS processes to improve dependability and safety},
author = {Galen C. Hunt and Mark Aiken and Manuel Fähndrich and Chris Hawblitzel and Orion Hodson and James R. Larus and Steven Levi and Bjarne Steensgaard and David Tarditi and Ted Wobber},
year = {2007},
doi = {10.1145/1272996.1273032},
url = {http://doi.acm.org/10.1145/1272996.1273032},
tags = {C++},
researchr = {https://researchr.org/publication/HuntAFHHLLSTW07},
cites = {0},
citedby = {0},
pages = {341-354},
booktitle = {Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007},
editor = {Paulo Ferreira and Thomas R. Gross and Luís Veiga},
publisher = {ACM},
isbn = {978-1-59593-636-3},
}