Formally Verified Bundling and Appraisal of Evidence for Layered Attestations

-