[Under construction]2009 AFOSR MURIHardware, Languages, and Architectures for Defense Against Hostile Operating Systems