illustration of lock, four asterisks and a shield with a fingerprint on it on a green gradient background

Security, privacy, and cryptography

lock icon on green background

Leveraging Large Language Models for Automated Proof Synthesis in Rust

photos of PhD students Anunay Kulshrestha and Karan Newatia with a photo of Senior Cryptographer Josh Benaloh in the middle with a microphone icon on a blue and purple gradient background

Intern Insights: Dr. Josh Benaloh with Anunay Kulshrestha and Karan Newatia

Bayes Security (β*, higher better) of DP-SGD against membership and attribute inference on the Adult and Purchase datasets as a function of the number of training steps. The green dashed line shows the corresponding DP budget (ε). Membership and attribute inference curves decrease monotonically as the model is trained for longer and the accuracy and DP budget grow.

Closed-Form Bounds for DP-SGD against Record-level Inference

MSR Systems Networking Graphic

ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos

Current selections

Sort by: Most recent

Clear selections

Video

Session on Inclusive AI: Data, Models, Evaluation

June 26, 2026 | Niloy Ganguly, Danish Pruthi, Sunayana Sitaram, Anoop Kunchukuttan, Ashutosh Modi

Microsoft Research India Academic Research Summit 2026 Speakers: Niloy Ganguly, IIT Kharagpur; Danish Pruthi, IIsc Bangalore; Sunayana Sitaram, Microsoft; Anoop Kunchukuttan, Bodhan AI; Ashutosh Modi, IIT Kanpur#MSRI #ARS2026 Sunayana Sitaram – Bridging Divides in AI…

graphical user interface, text, application, chat or text message

Video

Session on Retrieval

June 26, 2026 | Lokesh Nagalapatti, Soumen Chakrabarti

Microsoft Research India Academic Research Summit 2026Speakers: Lokesh Nagalapatti, Soumen Chakrabarti#MSRI #ARS2026 HOBIT- Lokesh Nagalapatti, Microsoft A Dense Subset Index for Collective Query Coverage – Soumen Chakrabarti, IITB

chart

Video

Session on Reasoning

June 26, 2026 | Hongxiang Fan, Nagarajan Natarajan

Microsoft Research India Academic Research Summit 2026Speakers: Hongxiang Fan, Imperial College London; Nagarajan Natarajan, Microsoft Research India#MSRI #ARS2026

diagram

Video

Session on Compute & Trust (Security)

June 26, 2026 | Krishna Pillutla, Danish Pruthi

Microsoft Research India Academic Research Summit 2026Speakers: Krishna Pillutla, IIT Madras; Danish Pruthi, IIsc Bangalore#MSRI #ARS2026

graphical user interface, application, table

Video

Multimodal & Embodied Intelligence (S1), Panel on Multimodal AI: Progress, Pitfalls, Possibilities

June 26, 2026 | Madhava Krishna, Sriram Ganapathy, Somak Aditya, Makarand Tapaswi, Vineeth N Balasubramanian, Tanuja Ganu

Microsoft Research India Academic Research Summit 2026 Multimodal & Embodied Intelligence (Session 1) and Panel discussion on Multimodal AI: Progress, Pitfalls, and Possibilities Session: Multimodal & Embodied Intelligence and Panel discussionSpeakers: Madhava Krishna (IIIT Hyderabad),…

Video

Session: Compute & Trust (Systems)

June 26, 2026 | Ashish Panwar, Aditya Desai, Abhilash Jindal, Pankaj Pansari, Sanchari Sen

Microsoft Research India Academic Research Summit 2026Speakers: Aditya Desai, IITB; Pankaj Pansari, Plaksha University; Sanchari Sen, IISc; Abhilash Jindal, IITD#MSRI #ARS2026

chart, bar chart

Video

Provable Security and Privacy Analysis of WPA3’s SAE and SAE-PK Protocol

June 25, 2026 | Olga Sanina, Kim Laine

Speakers: Olga SaninaHost: Kim Laine SAE and SAE-PK are the core security protocols introduced in the latest Wi-Fi security standard, WPA3, to protect personal networks. SAE-PK extends SAE to prevent the so-called evil twin attacks,…

graphical user interface, application

Career Opportunity

Principal Software Engineering Manager | Ads Trust & Safety AI Platform

Posted: June 25, 2026

Location: Bangalore, Karnataka, India

Research Area(s): Artificial intelligence, Programming languages and software engineering, Security, privacy, and cryptography

We are seeking a Principal Software Engineering Manager to lead a key engineering areas within the Ads Trust & Safety AI Platform. This team builds platform capabilities for advertiser and domain intelligence, AI-assisted investigation, model…

Publication

Red teaming with faith leaders: expanding digital safety and accountability to frontiers of care

Nina Lutz, E. Glen Weyl

FAccT ’26 | June 2026

Publication

Rising From the Ashes: How Agentic AI is Unblocking Challenges in Cybersecurity

G. Ciocarlie, Kathrin Grosse, Somesh Jha, D. Oliynyk, Andrew Paverd, Christian Wressnegger

June 2026

arXiv | June 2026

Your Privacy Choices