End-to-End Encrypted Group Chats with MLS: Design, Implementation and Verification
948
15.8
Microsoft Research334 тыс
Следующее
22.09.23 – 47258:53Популярные
16.12.22 – 1 3000:56
12.12.22 – 23130:11Опубликовано 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.
Свежие видео
12 часов – 6955:55
2 дня – 16 1921:39
2 дня – 124 42826:46
2 дня – 19313:04
3 дня – 2 071 84112:31
4 дня – 1441:03Случайные видео
302 дня – 29 6069:52
22.05.23 – 3 5340:23
26.04.23 – 3 1037:09
14.02.23 – 26 28350:29
23.01.20 – 2391:23
30.04.16 – 207 9211:05:17
2 дня – 40 7721:16:20
3 дня – 4440:37
7 дней – 971 9568:53
8 дней – 1 447 83520:29
10 дней – 6396:27
14 дней – 30 29613:16
7 часов – 019:31