Semantics, languages and tools for layered attestation
*rp, n: @us @ks [@hv [kim ks ker +~+ avm ks av] +<+ av us bmon] +<+ ((bmon us bser +~+ bmon us extmgr) +<+ extmgr us exts)