End-to-End Encrypted Group Chats with MLS: Design, Implementation and Verification
985
14.9
Microsoft Research335 тыс
Следующее
22.09.23 – 47358:53Популярные
94 дня – 4733:15
02.11.23 – 3241:07Опубликовано 22 сентября 2023, 18:31
Speakers: Théophile Wallez
Host: Jonathan Protzenko
MLS is a new IETF standard that deals with secure, end-to-end encrypted group messaging. In this work, recently awarded the Internet Defense Prize and a Distinguished Paper Award at USENIX, Théophile will describe how the protocol is structured; how it achieves security; and how our formal proof allowed to find flaws and shortcomings in MLS that eventually made it all the way up into the RFC. Our reference implementation, written in F*, is interoperable and can serve as a blueprint for other implementors; we also demonstrated its applicability by prototyping MLS in Skype.
Host: Jonathan Protzenko
MLS is a new IETF standard that deals with secure, end-to-end encrypted group messaging. In this work, recently awarded the Internet Defense Prize and a Distinguished Paper Award at USENIX, Théophile will describe how the protocol is structured; how it achieves security; and how our formal proof allowed to find flaws and shortcomings in MLS that eventually made it all the way up into the RFC. Our reference implementation, written in F*, is interoperable and can serve as a blueprint for other implementors; we also demonstrated its applicability by prototyping MLS in Skype.
Свежие видео
3 дня – 41929:40
6 дней – 5680:49
7 дней – 112 95911:01
8 дней – 1 3671:46
34 дня – 2 053 54520:41Случайные видео
353 дня – 10 9631:19
30.11.23 – 1 5461:03
13.10.23 – 8821:38
26.10.21 – 3 273 03316:04
08.09.21 – 34 0361:22
1 день – 10 3591:00
5 дней – 13 6253:18
6 дней – 24 02118:23
8 дней – 717 6173:13:31
9 дней – 1097:26
11 дней – 2 2350:26
11 дней – 15 3912:39
18 часов – 7 1830:54