interim-2021-mls-01
mls: Messaging Layer Security
Scheduled Sessions
Remote instructions:
https://ietf.webex.com/ietf/j.php?MTID=m0e7f495c200143a9f02b11d4d7dfa487
Agenda, Minutes, and Bluesheets
| (agenda-interim-2021-mls-01-mls-01) |
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) |