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

Security, privacy, and cryptography

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

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

Current selections

Sort by: Most recent

Clear selections

Search within these results

Content Types

Published Date

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

02:05:03

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,…

51:53

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…

Tool

Project Ire reports

GitHub

Microsoft Research Blog

Ire identifies another LOTUSLITE specimen

June 12, 2026 | Brian Caswell, Bob Fleck, Mike Walker, Sarah Smith

Project Ire examined a timely malware sample and determined its intent through reverse engineering—identifying LOTUSLITE characteristics even as most major EDR tools did not detect it.

Project

Encrypted Spaces

Encrypted Spaces is a research project (opens in new tab) exploring an architecture for building collaborative applications where data is encrypted and all operations are cryptographically verifiable. We pursue this work in close collaboration with…

Video

Emerging Hardware Acceleration for Fully Homomorphic Encryption

June 4, 2026 | Patrick Longa, Minxuan Zhou

Host: Patrick Longa, Microsoft Research RedmondSpeaker: Minxuan Zhou, Illinois Institute of Technology Fully homomorphic encryption (FHE) is crucial for post-quantum privacy-preserving computing. Researchers have proposed various FHE schemes that excel at different encrypted computations, such…