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

Enter, Exit, Page Fault, Leak: Testing Isolation Boundaries for Microarchitectural Leaks

Oleksii Oleksenko, Flavien Solt, Cédric Fournet, Jana Hofmann, Boris Köpf, Stavros Volos

2026 IEEE Symposium on Security and Privacy | May 2026

Accepted at IEEE SP 2025, publication delayed due to embargo.

Project

Publication

IOValve: Leakage-Free I/O Sandbox for Large-Scale Untrusted Data Processing

Sangho Lee, Jules Drean, Yue Tan, Marcus Peinado

32nd ACM Conference on Computer and Communications Security (CCS 2025) | October 2025

Career Opportunity

Applied Scientist – Trust, Safety and Intelligence

Posted: September 12, 2025

Location: Cairo, Egypt

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

Microsoft Trust, Safety and Intelligence team is responsible for the moderation and understanding of news feed to delight our end-user by offering them trustworthy and safe contents. We design and develop text and vision machine…

Career Opportunity

Senior Applied Scientist – MSRC Data Science team

Posted: September 11, 2025

Location: Redmond, WA, US

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

We are hiring a Senior Applied Scientist for the MSRC Data Science. The MSRC Data Science team is responsible in building data pipelines, data mining, ML models and insights on security related data. We combine…

Career Opportunity

Applied Scientist – MSRC Data Science team

Posted: September 10, 2025

Location: Redmond, WA, US

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

We are hiring an Applied Scientist for the MSRC Data Science team. The MSRC Data Science team is responsible in building data pipelines, data mining, ML models and insights on security related data. We combine…

Career Opportunity

Principal Applied Science Manager – Microsoft Teams

Posted: September 4, 2025

Location: Bangalore, Karnataka, India

Research Area(s): Artificial intelligence, Human language technologies, Human-computer interaction, Security, privacy, and cryptography

Microsoft Teams is looking for an experienced manager who can bring deep applied science expertise and a proven track record of shipping at-scale AI-enabled intelligent user-facing experiences to drive vision and execution for Microsoft 365…

Career Opportunity

Principal Applied AI Engineer – Purview AI Research team

Posted: September 2, 2025

Location: Hyderabad, Telangana, India

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

The Purview AI Research team leads the charge in advancing artificial intelligence, conducting groundbreaking research across deep learning, NLP, LLMs, RL, and graph-based approaches. Our expertise lies in developing sophisticated agentic systems, including cutting-edge innovations…

Video

Six Years of Rowhammer: Breakthroughs and Future Directions

August 28, 2025 | Stefan Saroiu

This talk presents the work done over the past six years as part of Project STEMA at Microsoft. STEMA stands for Secure, Trusted, and Enhanced Memory for Azure. We discuss our journey in understanding Rowhammer…

01:11:27

Microsoft Research Blog

Crescent library brings privacy to digital identity systems

August 26, 2025 | Christian Paquin, Greg Zaverucha

Crescent helps make digital IDs private by preventing tracking across uses while letting users only disclose what’s necessary from their credentials.

Career Opportunity

Senior Applied & Data scientist – Defender Experts (DEX) Research team

Posted: August 23, 2025

Location: Hyderabad, Telangana, India

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

he Defender Experts (DEX) Research team is looking for a passionate and curious Data Scientist to join this high-impact team. In this role, you’ll partner with researchers, hunters, and detection engineers to explore attacker behavior,…

Security, privacy, and cryptography

Highlights