Next: Bibliography
Up: Safety Checking of Kernel
Previous: Conclusions
This work started out as a project for a special topics seminar on
microprocessor architectures taught by Kevin Skadron of the University of
Virginia.
Niels Provos, Kevin Skadron, and Chris Telfer reviewed early drafts of this
paper and provided valuable feedback.
Craig Metz
2000-05-08