...
Overview of attestation
RATS architecture
Overview of TLS
Overview of attested TLS
Intro to formal verification
Formal verification of attested TLS
RA-TLS in RATS background-check model
Intention is:
To share our “attested TLS” journey to help “attestation over EDHOC” ID make progress by learning the design concepts