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

Career Opportunity

Research Intern – Security Research Group

Posted: January 22, 2026

Location: Redmond, WA, US

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

The Security Research Group at Microsoft Research Redmond works on a variety of areas to ensure computer systems are secure and trustworthy. Their current work investigates systems that leverage general software/systems security, confidential computing, formal…

Career Opportunity

Research Intern – Office of the Chief Scientific Officer

Posted: January 21, 2026

Location: Mountain View, CA, US

Research Area(s): Artificial intelligence, Computer vision, Data platforms and analytics, Human-computer interaction, Programming languages and software engineering, Security, privacy, and cryptography, Systems and networking

The Office of the Chief Scientific Officer works with senior leadership at Microsoft on strategy and opportunities at the frontiers of science, engineering, and responsible artificial intelligence (AI). The office collaborates closely with teams across…

Video

Microsoft Research India 2025 Highlights

January 19, 2026

Here are some highlights of the research and impact at Microsoft Research India in 2025, along with some glimpses of the lab milieu.

Microsoft Research India 2025 Key Highlights

05:52

Career Opportunity

Research Intern – Security, Privacy and AI

Posted: January 12, 2026

Location: Redmond, WA, US

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

This Research Internship will include (1) conducting threat modeling for Large Language Model (LLM)‑enabled agentic designs and identifying practical mitigations for Windows OS; (2) developing or refining formal security frameworks that support scalable designs and…

Publication

CyberThreat-Eval: Can Large Language Models Automate Real-World Threat Research?

Xiangsen Chen, Xuan Feng (xuafeng), Shuo Chen, Sudipto Rakshit, Diana Duvieilh, Ashley Picone, Nan Tang

Transactions on Machine Learning Research | December 2025

Career Opportunity

Principal Researcher – Sociotechnical Systems – Microsoft Research

Posted: December 16, 2025

Location: Cambridge, MA, US

Research Area(s): Human-computer interaction, Search and information retrieval, Security, privacy, and cryptography, Social sciences

Microsoft Research (MSR) New England is looking for a new full-time, Principal Researcher who brings sociotechnical perspectives to analyze critical issues of our time. You will join the Sociotechnical Systems area, a team of social…

Career Opportunity

Principal Security Engineer

Posted: December 11, 2025

Location: Redmond, WA, US

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

Microsoft Research is building new tools to automate the search for unknown malicious software. We are the growing, evolving team behind Microsoft’s Project Ire, Acquire Volatile Memory for Linux (AVML), OneFuzz, Project Freta, and other…

Video

Publicly-verifiable elections

December 9, 2025 | Karen Easterbrook, Josh Benaloh

Microsoft’s free, open-source ElectionGuard tools enable voters to verify their votes were accurately counted without compromising privacy or trusting election equipment or personnel. New research eliminates the need for cryptographic keys, making the process far…

Microsoft Research Forum | Josh Benaloh | Publicly-verifiable elections

05:46

Career Opportunity

Senior Research Software Engineer – Security & Cryptography

Posted: December 6, 2025

Location: Redmond, WA, US

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

The Security Research Group at Microsoft Research Redmond is pushing the boundary of what is possible with the fascinating primitive of zero-knowledge (ZK) proofs. You’ll work alongside experts who are shaping the future of secure…