This presentation describes Bear, a clean-slate operating system design that operates on scalable multi-processors. The system combines a minimalist micro-kernel with an associated hypervisor and presents only a small attack surface on 64-bit x86 blade servers. MULTICS-like protections are strictly enforced through extended page tables and Intel VT-x extensions. The design utilizes multiple, overlapping, non-deterministic techniques to continually re-establish trust.

Stephen Taylor is a Professor of Computer Engineering at Dartmouth College. He received the USAF Exemplary Civilian Service Medal (2012), the Secretary of Defense Medal for Outstanding Public Service (2008), and the DARPA Directors Award for Outstanding Portfolio of Technical Programs (2007).