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 10 Current »

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)

Slides

Attendees, Background and Goals

  • Göran Selander

  • Mališa Vučinić

  • Yuxuan Song

  • Carsten Bormann