Enforcing Executing-Implies-Verified with the Integrity-Aware Processor

Michael LeMay, Carl A. Gunter
June, 2011
PDF Slides DOI
Type
Conference paper
Publication
4th International Conference on Trust and Trustworthy Computing