2009 Cumulative Attestation Kernels for Embedded Systems Michael LeMay, Carl A. Gunter 14th European Symposium on Research in Computer Security (European Symposium on Research in Computer Security (ESORICS)). PDF DOI Slides