Semantics, languages and tools for layered attestation
“Flexible Mechanisms for Remote Attestation” by Sarah Helble, Ian Kretz, Peter Loscocco, John Ramsdell, Paul Rowe, and Perry Alexander has been puplished in ACM Transactions On Security and Privacy, 24(4). The paper defines a collection of common attestation shapes used in layered attestation. The paper can be accessed here.