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

Publication

BlueCodeAgent: A Blue Teaming Agent Enabled by Automated Red Teaming for CodeGen AI

Chengquan Guo, Yuzhou Nie, Chulin Xie, Zinan Lin, Wenbo Guo, Bo Li

ICML 2026 | October 2026

Publication

Principled Design of Indexing Functions for Memory Coloring

Stephan Dübler, Jana Hofmann, Boris Köpf, Stavros Volos

35th USENIX Security Symposium | August 2026

Project

Publication

Differentially Private Synthetic Data via APIs 4: Tabular Data

Toan Tran, Arturs Backurs, Zinan Lin, Victor Reis, Li Xiong, Sergey Yekhanin

ICML 2026 | July 2026

Project

Publication

From Lab to Fleet: Building and Deploying a Practical Rowhammer Defense in Cloud SoCs

Stefan Saroiu, Sujay Yadalam, Alec Wolman, Will Remaklus, Daniel S. Berger, Isaac H. Luna, Ishwar Agarwal, Jay Lorch

International Symposium on Computer Architecture | June 2026

Project

Publication

AI Agents Can Defeat Security by Obscurity for Rowhammer Defenses

Stefan Saroiu, Alec Wolman, Jay Bosamiya, Adam Grenzebach, Victor Bahl

Workshop on DRAM Security (DRAMSec) | June 2026

Project

Video

Welcome Session – Microsoft Research India Academic Summit 2026

June 26, 2026 | Venkat Padmanabhan, Srinivasan Iyengar

Microsoft Research India Academic Summit 2026Speakers: Venkat Padmanabhan, Srinivasan Iyengar#MSRI #ARS2026

graphical user interface, text, application

11:31

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

Tool

Project Ire reports

GitHub

Career Opportunity

Principal Data and Applied Scientist – Engineering Operations

Posted: June 16, 2026

Location: Redmond, WA, US

Research Area(s): Artificial intelligence, Data platforms and analytics, Security, privacy, and cryptography

Are you a customer-obsessed, AI-curious problem-solver who thrives in an inclusive, collaborative global team? Join Engineering Operations (EngOps) – the organization driving operational excellence across the Microsoft Cloud to strengthen quality, reliability, security, and customer…

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.

Security, privacy, and cryptography

Highlights