Formalizing MLS in F*
slides-interim-2021-mls-01-sessa-formalizing-mls-in-f-00
| Meeting Slides | Messaging Layer Security (mls) WG | |
|---|---|---|
| Title | Formalizing MLS in F* | |
| State | Active | |
| Other versions | ||
| Last updated | 2021-05-26 |
slides-interim-2021-mls-01-sessa-formalizing-mls-in-f-00
Not available as plain text.
Download as PDF.