Security, privacy, and cryptography
Microsoft Research Blog
Research Focus: Week of November 22, 2023
A new deep-learning compiler for dynamic sparsity; Tongue Tap could make tongue gestures viable for VR/AR headsets; Ranking LLM-Generated Loop Invariants for Program Verification; Assessing the limits of zero-shot foundation models in single-cell biology.
Microsoft Research Blog
DecodingTrust: A Comprehensive Assessment of Trustworthiness in GPT Models
This paper received the outstanding benchmarks track paper award during NeurIPS 2023 (opens in new tab). How trustworthy are generative pre-trained transformer (GPT) models? To answer this question, University of Illinois Urbana-Champaign, together with Stanford…
Video
End-to-End Encrypted Group Chats with MLS: Design, Implementation and Verification
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…
Video
Microsoft Research India – who we are.
Employees from Microsoft Research India talk about their work, their aspirations to change the world and what makes MSR India such a great place to work in.
