selected publications report A new operating system for security tagged architecture hardware in support of multiple independent levels of security (mils) compliant system: AFRL project final report 2014 thesis Modified Sparc Instruction Simulator (sis) to Support Experimental Tagging 2014
