Turtles all the way down: a clean-slate, ground-up, first-principles approach to secure systems.

Sean Peisert, Edward B. Talbot, Matt Bishop

Browse the full NSPW paper archive.