End-to-End Encrypted Group Chats with MLS: Design, Implementation and Verification
644
13.4
Microsoft Research320 тыс
Следующее
222 дня – 43858:53Популярные
181 день – 2971:07
06.12.22 – 37431:26Опубликовано 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.
Свежие видео
6 дней – 64315:21
6 дней – 8901:48
9 дней – 14 8750:58
9 дней – 83 1955:25
11 дней – 1 0719:12
14 дней – 514 2656:54:33Случайные видео
361 день – 394 1480:47
04.09.22 – 15 6020:50
14.05.22 – 23 2501:21
25.03.22 – 17 4676:07
1 день – 5 9211:00
1 день – 2742:22
2 дня – 28 4483:21
