Security, privacy, and cryptography

论文与出版物

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.

项目

视频

Publicly-verifiable elections

2025年12月9日 | Karen Easterbrook, Josh Benaloh

Microsoft’s free, open-source Elect…

Microsoft Research Forum | Josh Benaloh | Publicly-verifiable elections

05:46

论文与出版物

Struct-Bench: A Benchmark for Differentially Private Structured Text Generation

Shuaiqi Wang, Vikas Raunak, Arturs Backurs, Victor Reis, Pei Zhou, Sihao Chen, Longqi Yang, Zinan Lin, Sergey Yekhanin, Giulia Fanti

NeurIPS 2025 | December 2025

项目

微软研究院博客

Reducing Privacy leaks in AI: Two approaches to contextual integrity

2025年11月25日 | Gbola Afonja, Huseyin Atahan Inan, Qingwei Lin 林庆维, Saravan Rajmohan, Robert Sim, Xiaoting Qin, Jue Zhang, Lukas Wutschitz

New research explores two ways to g…

Four white line icons on a blue-to-orange gradient background: a network node icon, a security shield with padlock icon, an information icon, a checklist icon

论文与出版物

CHERI-Lite for Memory Safety Exploit Mitigation

Tony Chen

MSR-TR-2025-52 | November 2025

作者：Microsoft

视频

Designing safe digital systems for the humanitarian sector

2025年11月11日

Speaker: Carmela Troncoso Host: Bet…

graphical user interface, text, application

01:01:01

微软研究院博客

BlueCodeAgent: A blue teaming agent enabled by automated red teaming for CodeGen AI

2025年11月11日 | Chengquan Guo , Yuzhou Nie, Chulin Xie, Zinan Lin, Wenbo Guo, Bo Li

BlueCodeAgent is an end-to-end blue…

Three white icons on a blue-to-green gradient background: the first icon shows a circle with connected nodes, the second shows a circuit, and the third shows a flowchart

视频

Knowledge-Coin Fair Exchange

2025年11月5日

Fair exchange has been studied in c…

57:55

微软研究院博客

RedCodeAgent: Automatic red-teaming agent against diverse code agents

2025年11月4日 | Chengquan Guo , Chulin Xie, Yu Yang, Zhaorun Chen, Zinan Lin, Xander Davies, Yarin Gal, Dawn Song, Bo Li

Code agents help streamline softwar…

white icons on blue and green gradient background

论文与出版物

Whisper Leak: a side-channel attack on Large Language Models

Geoff McDonald, Jonathan Bar Or

November 2025

Security, privacy, and cryptography

Leveraging Large Language Models for Automated Proof Synthesis in Rust

Intern Insights: Dr. Josh Benaloh with Anunay Kulshrestha and Karan Newatia

Closed-Form Bounds for DP-SGD against Record-level Inference

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

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

Publicly-verifiable elections

Struct-Bench: A Benchmark for Differentially Private Structured Text Generation

Reducing Privacy leaks in AI: Two approaches to contextual integrity

CHERI-Lite for Memory Safety Exploit Mitigation

Designing safe digital systems for the humanitarian sector

BlueCodeAgent: A blue teaming agent enabled by automated red teaming for CodeGen AI

Knowledge-Coin Fair Exchange

RedCodeAgent: Automatic red-teaming agent against diverse code agents

Whisper Leak: a side-channel attack on Large Language Models

Security, privacy, and cryptography

高亮