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

Career Opportunity

Applied Sciences Intern

Posted: June 30, 2026

Location: Bangalore, Karnataka, India; Gurgaon, Haryana, India; Hyderabad, Telangana, India; India; Mumbai, Maharashtra, India; New Delhi, India; Noida, Uttar Pradesh, India; Pune, Maharashtra, India

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

As an Applied Science Intern at Microsoft, you will be at the forefront of technological innovation, working collaboratively to bring research to life in our products and services. You’ll gain expertise in cutting-edge research areas,…

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

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

01:43:01

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

01:06:25

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

01:22:21

Security, privacy, and cryptography

Highlights