Trust Abstractions & Cryptographic Anchors for CMD Secure Operation

Report on the progress of Tasks 3.1 – 3.3 on defining the appropriate formal models and theorem proofs capturing all of the cryptographic primitives to be leveraged for safeguarding the device’s operation.