USENIX Conference Policies
Toward a Verified, Secure, General-Purpose Microkernel
BibTeX
@conference {269580,
author = {Jonathan S. Shapiro and Eric Northup and M. Scott Doerrie and Swaroop Sridhar},
title = {Toward a Verified, Secure, {General-Purpose} Microkernel},
year = {2004},
address = {San Diego, CA},
publisher = {USENIX Association},
month = aug
}
author = {Jonathan S. Shapiro and Eric Northup and M. Scott Doerrie and Swaroop Sridhar},
title = {Toward a Verified, Secure, {General-Purpose} Microkernel},
year = {2004},
address = {San Diego, CA},
publisher = {USENIX Association},
month = aug
}