Semantics, languages and tools for layered attestation


Tampering Paper

New paper out from our colleagues at MITRE: Evidence Tampering and Chain of Custody in Layered Attestations complete with Coq sources. The paper examines evidence custody chains in remote attestation with the goal of identifying all tampering opportunities. The ultimate goal being trust in the evidence used for appraisal.