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 7 Next »

  • 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