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

Dorami: Privilege Separating Security Monitor on RISC-V TEEs

Mark Kuhne, Stavros Volos, Shweta Shinde

34th USENIX Security Symposium | August 2025

Career Opportunity

Security Researcher – Microsoft Defender

Posted: July 30, 2025

Location: Beer-Sheva, Israel; Haifa, Israel; Herzliya, Tel Aviv, Israel; Israel; Nazareth, Northern, Israel

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

Join the elite team powering Microsoft Defender’s most groundbreaking autonomous protection system: Automatic Attack Disruption. We’re looking for a passionate security researcher ready to make a real-world impact by protecting global enterprises from devastating cyberattacks.…

Career Opportunity

Principal Researcher – Sociotechnical Systems – Microsoft Research

Posted: July 29, 2025

Location: Cambridge, MA, US

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

Microsoft Research 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 scientists…

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…

Publication

DPImageBench: A Unified Benchmark for Differentially Private Image Synthesis

Chen Gong, Kecen Li, Zinan Lin, Tianhao Wang

CCS 2025 | July 2025

Project

Video

Precio: Private Aggregate Measurement via Oblivious Shuffling

June 18, 2025 | Melissa Chase

This talk presents Precio, a secure aggregation system for computing layered histograms and sums over secret shared data in a client-server setting. Precio is motivated by private ad measurement scenarios, where online advertisers and ad…

55:32

Dataset Source Code

Precio

Precio is a Rust library that implements the Precio protocol for computing private layered histograms and sums.

GitHub Video Publication

Video

Sandi: A System for Accountability

June 18, 2025 | Kim Laine

Kim Laine presents a novel reputation system called Sandi, which aims to create trust between two otherwise distrusting parties. Concretely, Sandi focuses on online communication scenarios, where two communicating parties do not know each other,…

01:01:05

Career Opportunity

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

Posted: June 16, 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