Tentative outline (subject to change based on attendees interest)
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 (without going into mathematical jargon)