Cumulative Attestation Kernels for Embedded Systems
Cumulative Attestation Kernels for Embedded Systems Michael LeMay and Carl A. Gunter.