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

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 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

Applied Scientist II – 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 an Applied Scientist II 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

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 Research Scientist – Data and Applied Sciences Research team

Posted: July 14, 2025

Location: Redmond, WA, US

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

The Data and Applied Sciences Research team is looking for a Senior Research Scientist to lead innovative research initiatives, transitioning them from concept to product. In this role, you will collaborate with scientists, engineers, and…

Career Opportunity

Senior Applied ML Engineer – Security for AI

Posted: July 12, 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

Principal Applied Scientist – Microsoft Security

Posted: July 11, 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 AI Engineer – Microsoft Security AI

Posted: July 11, 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 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…

Security, privacy, and cryptography

Highlights