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

Security, privacy, and cryptography

lock icon on green background

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

MSR Systems Networking Graphic

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

Current selections

Sort by: Most recent

Clear selections

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.

Publication

Dorami: Privilege Separating Security Monitor on RISC-V TEEs

Mark Kuhne, Stavros Volos, Shweta Shinde

34th USENIX Security Symposium | August 2025

Career Opportunity

Principal Applied AI Engineer – Microsoft Security AI

Posted: July 25, 2025

Location: Redmond, WA, US

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

We are looking for a Principal Applied AI Engineer to join the NEXT arm of Microsoft Security AI (MSECAI), where we build the next generation products for security. In the 18 months since our organization’s…

Career Opportunity

Senior Applied ML Engineer – Security for AI

Posted: July 24, 2025

Location: Redmond, WA, US; Remote (within US)

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

We are a product research team of dedicated and innovative experts specializing in machine learning and artificial intelligence research for cybersecurity, looking for a Senior Applied ML Engineer – Security for AI. We stand at…

Career Opportunity

Senior Data Scientist – Microsoft Security

Posted: July 21, 2025

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

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

The Microsoft Security organization is a group of Security Engineers, Software Developers and Data Scientists with expertise in large-scale software systems, security analysis, big data, and machine learning. We delight in diving deep into the…

Career Opportunity

Principal Security Researcher – Microsoft Security

Posted: July 17, 2025

Location: United States

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

Our research team is dedicated to build products and features that deliver protection to Microsoft customers who want to safely use AI, Agents and Cloud/SaaS services. The team’s mission is to research the threat landscape…

Career Opportunity

Principal Applied Scientist – Microsoft Security

Posted: July 17, 2025

Location: Redmond, WA, US

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

The Microsoft Security Social Engineering Research Team is dedicated to defending Microsoft’s customers against threats across all messaging and web platforms through applied AI innovation. Join our team as a Principal Applied Scientist and be…

Career Opportunity

Principal Applied Science Manager – Microsoft Teams

Posted: July 15, 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 Scientist – Microsoft Teams

Posted: July 14, 2025

Location: Bangalore, Karnataka, India

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

As a Principal Applied Scientist on Microsoft Teams you will need to design and build systems that allow LLMs to reason over large amounts of data as well as leveraging lighter weight models in place…

Career Opportunity

Senior Data Scientist – Security Detection Engineering team

Posted: July 9, 2025

Location: Hyderabad, Telangana, India

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

We are looking for a Senior Data Scientist to join our Detection Engineering team and lead the development of AI/ML models that enhance the efficiency and impact of Microsoft’s Security Operations Center (SOC). In this…