Semantics, languages and tools for layered attestation
Check out Adam’s HoTSoS 2019 presentation of our paper A Copland Attestation Manager.