2011 Enforcing Executing-Implies-Verified with the Integrity-Aware Processor Michael LeMay, Carl A. Gunter 4th International Conference on Trust and Trustworthy Computing (TRUST). PDF DOI Slides