@conference {269233,
	author = {David Lie},
	title = {Minimizing the {TCB}},
	year = {2005},
	address = {Baltimore, MD},
	publisher = {USENIX Association},
	month = jul
}
