Compact Integrity-Aware Architectures

Compact Integrity-Aware Architectures
Michael LeMay
Doctoral Thesis, University of Illinois at Urbana-Champaign, August 2011. [BIB][Related]

Last updated on Wednesday, December 7, 2011, 3:33 pm

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

Enforcing Executing-Implies-Verified with the Integrity-Aware Processor
Michael LeMay and Carl A. Gunter
International Conference on Trust and Trustworthy Computing (TRUST ’11), Pittsburgh, PA, June 2011. [PPT][BIB][Related]
The original publication is available at www.springerlink.com.

Last updated on Thursday, March 22, 2012, 11:08 pm

Cumulative Attestation Kernels for Embedded Systems

Cumulative Attestation Kernels for Embedded Systems
Michael LeMay and Carl A. Gunter
European Symposium on Research in Computer Security (ESORICS ’09), Saint Malo, France, September 2009. The original publication is available at www.springerlink.com [PPT][Related]

Last updated on Thursday, June 26, 2014, 12:59 pm