2012 Cumulative Attestation Kernels for Embedded Systems Michael LeMay, Carl A. Gunter IEEE Transactions on Smart Grid (ToSG). PDF DOI