Home

Table Of Musings

• CoRIM Slack Channel
• On composition (this complements the discussion in issue #95)
• On multiple vs single measurements environments
• Notes about appraisal flows
• On PR#49
• Verification schematics
• Composite device modelling using (extended) domain-membership-triples
• Composite device modelling using tags
• Layered conditional endorsements modelling
• Verifier Examples with Verifier Staging
• Multi Environment Conditional Endorsement Triples
• Multi Conditional Endorsement Triples
• Validity Operational Model
• Corim-henkgen Ned's & Henk's ECT experiment for external representation (corim-henkgen.cddl)