Skip to end of metadata
Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current Restore this Version View Page History

« Previous Version 9 Next »

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)

Attendees, Background and Goals

0 Comments

You are not logged in. Any changes you make will be marked as anonymous. You may want to Log In if you already have an account.