Skip to main content

interim-2021-mls-01
mls: Messaging Layer Security

Scheduled Sessions

Agenda, Minutes, and Bluesheets

(agenda-interim-2021-mls-01-mls-01)

Chatlog and polls

Slides

Chair Slides (slides-interim-2021-mls-01-sessa-chair-slides)
Formalizing MLS in F* (slides-interim-2021-mls-01-sessa-formalizing-mls-in-f)

Internet-Drafts

Notes and recordings

Notepad for note-takers
Meetecho session recording

Unscheduled Sessions