End-to-End Encrypted Group Chats with MLS: Design, Implementation and Verification

Channel:
Microsoft Research
Subscribers:
351,000
Published on ● Video Link: https://www.youtube.com/watch?v=18x3RsmRrV0


Duration: 1:11:02
456 views
9

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.



Other Videos By Microsoft Research


2023-11-02Generative AI & Plural Governance: Mitigating Challenges & Surfacing Opportunities | Madeleine Daepp
2023-11-02AI in Organizational Settings | danah boyd
2023-11-02Announcing New Microsoft Research AI & Society Fellows program
2023-11-02Task Focused IR in the Era of Generative AI Workshop: Panel Talk
2023-11-02Task Focused IR in the Era of Generative AI Workshop: Invited Talks
2023-11-02Task Focused IR in the Era of Generative AI Workshop: Intro + Keynote
2023-10-19The Prompt with Trevor Noah | Episode 1: IHME Population Mapping
2023-10-03Wildlife Conflict Resolution: Boma & Cattle Detection in the Masai Mara using AI
2023-09-26CCEdit results
2023-09-22WiDS Fireside Chat with Jaime Teevan and Ming Ye
2023-09-22End-to-End Encrypted Group Chats with MLS: Design, Implementation and Verification
2023-09-22Final intern talk: Improving Frechet Audio Distance for Generative Music Evaluation
2023-09-15Microsoft Research India - who we are.
2023-08-09Keypoint Detection for Measuring Body Size of Giraffes: Enhancing Accuracy and Precision
2023-08-04Scalable and Efficient AI: From Supercomputers to Smartphones
2023-07-18AI for Precision Health
2023-07-07Multilingual Evaluation of Generative AI (MEGA)
2023-07-07The Whole Truth and Nothing But the Truth: Faithful and Controllable Dialogue Response Generation...
2023-07-07Privacy-Preserving Domain Adaptation of Semantic Parsers
2023-05-30Microsoft’s Holoportation™ Communications Technology: Facilitating 3D Telemedicine
2023-05-05Human-Centered AI: Ensuring Human Control While Increasing Automation