@inproceedings{Peisert2012-NSPW,
	Address = {Bertinoro, Italy},
	Author = {Sean Peisert and Ed Talbot and Matt Bishop},
	Booktitle = {Proceedings of the 2012 New Security Paradigms Workshop (NSPW)},
	Month = {September 19--21},
	Title = {{Turtles All the Way Down: A Clean-Slate, Ground-Up, First-Principles Approach to Secure Systems}},
	Pages = {15--26},	
	Year = {2012}}