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

当前选择

排序方式: 最新

清除选择

在这些结果中搜索

内容类型

人员

Cédric Fournet (91)

Melissa Chase (72)

Nishanth Chandran (66)

Kim Laine (58)

Michael Naehrig (55)

Santiago Zanella-Béguelin (52)

Jack W. Stokes (49)

Divya Gupta (46)

Srinath Setty (41)

Shruti Tople (41)

Josh Benaloh (40)

Cormac Herley (39)

Manuel Costa (37)

Aseem Rastogi (37)

Greg Zaverucha (35)

Nikhil Swamy (35)

Marcus Peinado (34)

Patrick Longa (34)

Shuo Chen (33)

Sangho Lee (32)

Antoine Delignat-Lavaud (31)

Weidong Cui (31)

Boris Köpf (29)

Ramarathnam Venkatesan (26)

Karen Easterbrook (25)

Christian Paquin (24)

Zinan Lin (24)

Stefan Saroiu (23)

Alec Wolman (22)

Robert Sim (21)

Betül Durak (21)

Tahina Ramananandro (20)

Lukas Wutschitz (20)

Dinei Florencio (19)

Rahul Sharma (19)

Jay Lorch (18)

Tolga Acar (17)

Stavros Volos (17)

Chris Hawblitzel (16)

Janardhan (Jana) Kulkarni (16)

Sergey Yekhanin (16)

Andrew Paverd (16)

Butler Lampson (15)

Kevin Kane (15)

Satya Lokam (15)

Sylvan Clebsch (15)

Esha Ghosh (15)

Huseyin Inan (15)

Bin Benjamin Zhu (14)

Dan Shumow (14)

Ben Zorn (14)

Sriram Rajamani (13)

John (JD) Douceur (12)

Matthew J. Parkinson (12)

Weiteng Chen (12)

Margus Veanes (11)

Ahmed Salem (11)

Kate Crawford (10)

Marina Polishchuk (10)

Mike Walker (10)

Oleksii Oleksenko (10)

Dennis Mattoon (9)

Radames Cruz Moreno (9)

Juan M. Lavista Ferres (9)

Jay Bosamiya (9)

Ken Eguro (8)

E. Glen Weyl (8)

Lidong Zhou (8)

Raghav Kaushik (8)

Landon Cox (8)

Brian Caswell (8)

Ziqiao Zhou (8)

Heidi Howard (8)

Emre Kiciman (7)

Eric Horvitz (7)

Manik Varma (7)

Venkat Padmanabhan (7)

Suman Nath (7)

Hamed Khanpour (7)

Arturs Backurs (7)

Daniel Jones (7)

Giovanni Cherubin (7)

Amit Sharma (6)

Chetan Bansal (6)

Galen Hunt (6)

Nicole Immorlica (6)

Jaime Teevan (6)

Amaury Chamayou (6)

Daniel Madrigal (6)

Mirian Hipolito Garcia (6)

Rahul Dodhia (6)

Adrien Ghosn (6)

Aditya Nori (5)

Darren Edge (5)

Jonathan Larson (5)

Matthew Johnson (5)

Tarleton Gillespie (5)

William Blum (5)

Xian Zhang (5)

Weiwei Yang (5)

Sepideh Mahabadi (5)

Sarah Smith (5)

Jennifer Chayes (4)

John Langford (4)

Madan Musuvathi (4)

Ramachandran Ramjee (4)

Ryen W. White (4)

Shuvendu Lahiri (4)

Hanna Wallach (4)

Harsha Simhadri (4)

Tony Chen (4)

Eddy Ashton (4)

James Bono (4)

Victor Ruehle (4)

Saravan Rajmohan (4)

Harsha Nori (4)

Scott Freitas (4)

Gbola Afonja (4)

Akash Lal (3)

Jaron Lanier (3)

Jianfeng Gao (3)

Kim Herzig (3)

Henrique S. Malvar (3)

Thomas Moscibroda (3)

Nikolaj Bjørner (3)

Qingwei Lin 林庆维 (3)

Himanshu Raj (3)

Sharad Agarwal (3)

Siddhartha Sen (3)

Xiaodong Liu (3)

Stephanie Hyland (3)

Ran Gilad-Bachrach (3)

Brent Hecht (3)

Karthik Selvaraj (RESEARCH) (3)

Dongsheng Li (3)

Zhongxin Guo (3)

Yuqing Yang (3)

Jayashree Mohan (3)

Menglin Xia (3)

Ashish Panwar (3)

Alex Chouldechova (3)

Sara Abdali (3)

Shrey Jain (3)

Roshan Dathathri (3)

Bob Fleck (3)

Cory Duplantis (3)

Aashish Kolluri (3)

Andrew Putnam (2)

Victor Bahl (2)

Nancy Baym (2)

Brendan Lucier (2)

Cheick Keita (2)

Chris Quirk (2)

Chris White (2)

Scott Counts (2)

Ed Cutrell (2)

Dongmei Zhang (2)

Ece Kamar (2)

Ganesh Ananthanarayanan (2)

Hannes Gamper (2)

Javier Alvarez-Valle (2)

Jonathan "Peli" de Halleux (2)

Jake Hofman (2)

Katja Hofmann (2)

Kaushik Rajan (2)

Michel Galley (2)

Mary L. Gray (2)

Markus Mobius (2)

Neeraj Kayal (2)

Nicolas Villar (2)

Peter Lee (2)

Piali Choudhury (2)

Ranveer Chandra (2)

Rick Rashid (2)

Ran Gal (2)

Sean Rintel (2)

Shamsi Iqbal (2)

Surajit Chaudhuri (2)

Sam Webster (2)

Swami Manohar (2)

Nathan Evans (2)

Mihaela Vorvoreanu (2)

Qi Chen (2)

Sunayana Sitaram (2)

Francesca Parmigiani (2)

Kate Lytvynets (2)

Longqi Yang (2)

Jakub Tarnawski (2)

Pu Zhao (2)

P. Anandan (2)

Xenofon Foukas (2)

Aaron L Halfaker (2)

Meghana Kshirsagar (2)

Yixi Xu (2)

Weishung Liu (2)

Hao Cheng (2)

Ashley J. Llorens (2)

Jue Zhang (2)

Xuchao Zhang (2)

Sarah Fakhoury (2)

Saikat Chakraborty (2)

Gabriel Ebner (2)

Guido Martínez (2)

Xiaoting Qin (2)

Victor Reis (2)

Luca Wilke (2)

Son Ho (2)

Rodrigo Racanicci (2)

Katy Smith (2)

Shelby Hayes (2)

Bhakta Pradhan (2)

Dustin Fraze (2)

A.J. Brush (1)

Akshay Krishnamurthy (1)

Amit Deshpande (1)

Anoop Gupta (1)

Arjmand Samuel (1)

Abigail Sellen (1)

Ben Cutler (1)

Christian Borgs (1)

Bozidar Radunovic (1)

Christian Bird (1)

Cecily Morrison (1)

Cha Zhang (1)

Chin-Yew Lin (1)

Daan Leijen (1)

David Johnston (1)

David Rothschild (1)

Doug Burger (1)

Daniel G. Goldstein (1)

Dave Maltz (1)

Dushyanth Narayanan (1)

Eric Peterson (1)

Furu Wei (1)

Manish Gupta (1)

Jim Gray (1)

David Heckerman (1)

Hitesh Ballani (1)

Hoifung Poon (1)

Ivan Tashev (1)

Jacki O'Neill (1)

Jennifer Wortman Vaughan (1)

Jina Suh (1)

Jinyu Li (1)

Johannes Gehrke (1)

Nebojsa Jojic (1)

Kalika Bali (1)

Kori Inkpen (1)

Karin Strauss (1)

Kukjin Lee (1)

Lev Nachmanson (1)

Lili Cheng (1)

Mark Encarnación (1)

Matthai Philipose (1)

Martin Grayson (1)

Michael Freedman (1)

Mike Shepperd (1)

Milad Shokouhi (1)

Navin Goyal (1)

Nikos Karampatziakis (1)

Nirupama Chandrasekaran (1)

Paolo Costa (1)

Peter Bodík (1)

Qiufeng Yin (1)

Richard Banks (1)

Robert DeLIne (1)

Ricardo Gutierrez (1)

Sameh Elnikety (1)

Sebastian Burckhardt (1)

Susan Dumais (1)

Spencer Fowers (1)

Shi Han (1)

Siân Lindley (1)

Silviu Cucerzan (1)

Sarah Bird (1)

Aleksandrs Slivkins (1)

Stas Tishkin (1)

Sumit Gulwani (1)

Siddharth Suri (1)

Thomas Karagiannis (1)

Wei Chen (1)

Weizhu Chen (1)

Yongqiang Xiong (1)

Bichlien Nguyen (1)

Ramakrishna Bairi (1)

Solon Barocas (1)

Anand Bonde (1)

Lester Mackey (1)

Pantazis Deligiannis (1)

Jacob Nelson (1)

Dave Thaler (1)

Arun Iyer (1)

Camilla Longden (1)

Marc Greisen (1)

Fangzhao Wu (1)

Budhaditya Deb (1)

Rahee Ghosh Peshawaria (1)

Irene Zhang (1)

Sujay Kumar Jauhar (1)

Advait Sarkar (1)

Behnaz Arzani (1)

Raluca Stevenson (1)

Dan R. K. Ports (1)

Dimitra Emmanouilidou (1)

Nipun Kwatra (1)

Sonia Jaffe (1)

Sebastian Braun (1)

Sonu Mehta (1)

Andromachi Chatzieleftheriou (1)

Bo Qiao (1)

Vaishnavi Ranganathan (1)

Akshay Nambi (1)

Pratik Ghosh (1)

Dave Bignell (1)

Sudha Rao (1)

Javier Hernandez (1)

Jiang Bian (1)

Robert Gmyr (1)

Oscar Koller (1)

Carmen Badea (1)

Denae Ford (1)

Xiaofei Wang (1)

Adam D. Troy (1)

Kieran McDonald (1)

Vu Le (1)

Tadas Baltrusaitis (1)

Yu Kang (1)

Joe Ranweiler (1)

Kevin Hsieh (1)

Mengting Wan (1)

Manthan Thakker (1)

Donald Ngwe (1)

Hang Dong (1)

Madeleine Daepp (1)

Peeyush Kumar (1)

Jenna Butler (1)

Josh Mandel (1)

Camille Couturier (1)

Neha Parikh Shah (1)

Dongdong Chen (1)

Suvam Mukherjee (1)

Jugal Parikh (1)

Xufang Luo (1)

Kevin Larson (1)

Xiyang Dai (1)

Pedro Henrique Penna (1)

Rafael da Silva (1)

Qianhui Wu (1)

Roberto Santos (1)

Xiaoyuan Yi (1)

Jennifer Neville (1)

Robert Osazuwa Ness (1)

Debopam Bhattacherjee (1)

Sheng Zhao (1)

Mayukh Das (1)

Tommy Guy (1)

A. Parayil (1)

Minghua Ma (1)

Srinivasan Iyengar (1)

Arnaud Flutre (1)

A J (HE/HIM) (1)

Michal Sroka (1)

Alejandro Gutierrez Munoz (1)

Allie Giddings (1)

Fangkai Yang (1)

Gust Verbruggen (1)

Srikant Bharadwaj (1)

Kate Nowak (1)

Allen Kim (1)

Lucas A. Meyer (1)

Burcu Canakci (1)

Shoko Ueda (1)

Chris Parnin (1)

Si Qin (1)

Dominic Ayre (1)

Mukul Singh (1)

Mahati Chamarthy (1)

Andrew Jenks (1)

Jay Li (1)

Takuro Sato (1)

Bruno Silva (1)

Riyaz Pishori (1)

Dan Vann (1)

Chaoyun Zhang (1)

Abhinav Jangda (1)

Ankur Mallick (1)

Reshmi Ghosh (1)

Sergio Valcarcel Macua (1)

Whitney Hudson (1)

Rujia Wang (1)

Yuancheng Tu (1)

Aashaka Shah (1)

Renee St. Amant (1)

Brian Houck (1)

Liqun Li (1)

Angelica Moreira (1)

Lev Tankelevitch (1)

Shan Lu (1)

Prathamesh Deshpande (1)

Gagan Somashekar (1)

Pei Zhou (1)

Shraddha Barke (1)

Sihao Chen (1)

Benjamin Steenhoek (1)

Jessica Young (1)

Dimitra Giantsidi (1)

Sathvik Prasad (1)

Samuel Lee (1)

Samreen Khadeer (1)

Hayley LeBlanc (1)

Jay Gala (1)

Bruce Wittmann (1)

发布日期

论文与出版物

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

岗位

Research Intern – Security Research Group, Microsoft Research Redmond

Posted: 2025年11月4日

地点: Redmond, WA, US

研究领域: Security, privacy, and cryptography

The Security Research Group at Micr…

岗位

Research Intern – Fundamentals of AI: Security, Agents, Systems & Control

Posted: 2025年11月4日

地点: Redmond, WA, US

研究领域: Artificial intelligence, Security, privacy, and cryptography

We are seeking multiple Research In…

Security, privacy, and cryptography

高亮