Versions Compared

Old Version 7

changes.mady.by.user Anonymous

Saved on

compared with

New Version 8

changes.mady.by.user Anonymous

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

  • 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)