Craig Metz. Safety Checking of Kernel Extensions. In Proceedings of the Freenix Track: 2000 USENIX Annual Technical Conference, June 18-23, 2000, San Diego, CA, USA. pages 227-234, USENIX, 2000. [doi]
@inproceedings{Metz00a,
title = {Safety Checking of Kernel Extensions},
author = {Craig Metz},
year = {2000},
url = {http://www.usenix.org/publications/library/proceedings/usenix2000/freenix/metzsafety.html},
researchr = {https://researchr.org/publication/Metz00a},
cites = {0},
citedby = {0},
pages = {227-234},
booktitle = {Proceedings of the Freenix Track: 2000 USENIX Annual Technical Conference, June 18-23, 2000, San Diego, CA, USA},
publisher = {USENIX},
isbn = {1-880446-23-5},
}