Semantics, languages and tools for layered attestation
The Copland Tutorial has been udpated to include analysis tool outputs.