@inproceedings{LeMayG11-Trust,
author = {Michael LeMay and Carl A. Gunter},
title = {Enforcing Executing-Implies-Verified with the Integrity-Aware Processor},
booktitle = {International Conference on Trust and Trustworthy Computing (TRUST'11)},
month = {June},
year = {2011},
location = {Pittsburgh, PA},
}