The DHOSA research project focuses on building systems that will remain secure even when the operating system is compromised or hostile.  It is a collaborative effort among researchers from Harvard, Stony Brook, U.C. Berkeley, University of Illinois at Urbana-Champaign, and the University of Virginia. It is funded by the Air Force Office of Scientific Research and the MURI program.