Sean Peisert, Edward B. Talbot, Matt Bishop. Turtles all the way down: a clean-slate, ground-up, first-principles approach to secure systems. In Richard Ford, Mary Ellen Zurko, Cormac Herley, Tara Whalen, editors, The New Security Paradigms Workshop, NSPW '12, Bertinoro, Italy - September 18 - 21, 2012. pages 15-26, ACM, 2012. [doi]
Abstract is missing.