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

People

Cédric Fournet (90)

Melissa Chase (70)

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)

Cormac Herley (39)

Josh Benaloh (38)

Aseem Rastogi (37)

Manuel Costa (36)

Marcus Peinado (34)

Nikhil Swamy (34)

Patrick Longa (34)

Shuo Chen (33)

Sangho Lee (32)

Antoine Delignat-Lavaud (31)

Greg Zaverucha (30)

Weidong Cui (30)

Boris Köpf (29)

Ramarathnam Venkatesan (26)

Karen Easterbrook (24)

Alec Wolman (22)

Christian Paquin (22)

Stefan Saroiu (22)

Robert Sim (20)

Betül Durak (20)

Dinei Florencio (19)

Tahina Ramananandro (19)

Rahul Sharma (19)

Lukas Wutschitz (19)

Zinan Lin (19)

Jay Lorch (18)

Tolga Acar (17)

Stavros Volos (17)

Chris Hawblitzel (16)

Janardhan (Jana) Kulkarni (16)

Jonathan Protzenko (16)

Andrew Paverd (16)

Kevin Kane (15)

Satya Lokam (15)

Sergey Yekhanin (15)

Sylvan Clebsch (15)

Sivakanth Gopi (15)

Esha Ghosh (15)

Dan Shumow (14)

danah boyd (14)

Ben Zorn (14)

Huseyin Inan (14)

Bin Benjamin Zhu (13)

John (JD) Douceur (12)

Matthew J. Parkinson (12)

Weiteng Chen (12)

Margus Veanes (11)

Sriram Rajamani (11)

Kate Crawford (10)

Marina Polishchuk (10)

Mike Walker (10)

Oleksii Oleksenko (10)

Ahmed Salem (10)

Dennis Mattoon (9)

Radames Cruz Moreno (9)

Juan M. Lavista Ferres (9)

Ken Eguro (8)

E. Glen Weyl (8)

Raghav Kaushik (8)

Brian Caswell (8)

Ziqiao Zhou (8)

Daniel Jones (8)

Heidi Howard (8)

Emre Kiciman (7)

Lidong Zhou (7)

Suman Nath (7)

Landon Cox (7)

Hamed Khanpour (7)

Giovanni Cherubin (7)

Jay Bosamiya (7)

Amit Sharma (6)

Chetan Bansal (6)

Eric Horvitz (6)

Manik Varma (6)

Nicole Immorlica (6)

Jaime Teevan (6)

Amaury Chamayou (6)

Daniel Madrigal (6)

Mirian Hipolito Garcia (6)

Arturs Backurs (6)

Rahul Dodhia (6)

Aditya Nori (5)

Darren Edge (5)

Galen Hunt (5)

Jonathan Larson (5)

Matthew Johnson (5)

Venkat Padmanabhan (5)

Tarleton Gillespie (5)

William Blum (5)

Xian Zhang (5)

Weiwei Yang (5)

Sepideh Mahabadi (5)

Sarah Smith (5)

Edmund B Nightingale (5)

Nick Saw (4)

Jennifer Chayes (4)

John Langford (4)

Madan Musuvathi (4)

Ramachandran Ramjee (4)

Ryen W. White (4)

Shuvendu Lahiri (4)

Harsha Simhadri (4)

Eddy Ashton (4)

James Bono (4)

Victor Ruehle (4)

Harsha Nori (4)

Scott Freitas (4)

Tricia Mayer (3)

Akash Lal (3)

Jaron Lanier (3)

Jianfeng Gao (3)

Kim Herzig (3)

Henrique S. Malvar (3)

Thomas Moscibroda (3)

Nikolaj Bjørner (3)

Himanshu Raj (3)

Siddhartha Sen (3)

Hanna Wallach (3)

Xiaodong Liu (3)

Stephanie Hyland (3)

Tony Chen (3)

Ran Gilad-Bachrach (3)

Brent Hecht (3)

Karthik Selvaraj (RESEARCH) (3)

Dongsheng Li (3)

Zhongxin Guo (3)

Saravan Rajmohan (3)

Menglin Xia (3)

Ashish Panwar (3)

Sara Abdali (3)

Gbola Afonja (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)

Ece Kamar (2)

Ganesh Ananthanarayanan (2)

Hannes Gamper (2)

Javier Alvarez-Valle (2)

Jonathan "Peli" de Halleux (2)

Jake Hofman (2)

James Scott (2)

Katja Hofmann (2)

Kaushik Rajan (2)

Krysta M. Svore (2)

Michel Galley (2)

Markus Mobius (2)

Neeraj Kayal (2)

Nicolas Villar (2)

Piali Choudhury (2)

Qingwei Lin 林庆维 (2)

Ranveer Chandra (2)

Ran Gal (2)

Sharad Agarwal (2)

Sean Rintel (2)

Shamsi Iqbal (2)

Surajit Chaudhuri (2)

Sam Webster (2)

Swami Manohar (2)

Nathan Evans (2)

Mihaela Vorvoreanu (2)

Sunayana Sitaram (2)

Francesca Parmigiani (2)

Kate Lytvynets (2)

Jakub Tarnawski (2)

Pu Zhao (2)

Xenofon Foukas (2)

Aaron L Halfaker (2)

Meghana Kshirsagar (2)

Yixi Xu (2)

Weishung Liu (2)

Hao Cheng (2)

Ashley J. Llorens (2)

Yuqing Yang (2)

Jayashree Mohan (2)

Xuchao Zhang (2)

Sarah Fakhoury (2)

Alex Chouldechova (2)

Saikat Chakraborty (2)

A. Feder Cooper (2)

Luca Wilke (2)

Son Ho (2)

Rodrigo Racanicci (2)

Katy Smith (2)

Shelby Hayes (2)

Tim Middleton-Sally (2)

Bhakta Pradhan (2)

Dustin Fraze (2)

A.J. Brush (1)

Akshay Krishnamurthy (1)

Amit Deshpande (1)

Anoop Gupta (1)

Abigail Sellen (1)

Ben Cutler (1)

Bill Dolan (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)

Daniel G. Goldstein (1)

Dave Maltz (1)

Dushyanth Narayanan (1)

Dongmei Zhang (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)

Jian-Guang Lou (1)

Johannes Gehrke (1)

Nebojsa Jojic (1)

Kori Inkpen (1)

Karin Strauss (1)

Kukjin Lee (1)

Lev Nachmanson (1)

Mao Yang (1)

Mark Encarnación (1)

Matthai Philipose (1)

Martin Grayson (1)

Mike Shepperd (1)

Milad Shokouhi (1)

Mary L. Gray (1)

Navin Goyal (1)

Nikos Karampatziakis (1)

Nirupama Chandrasekaran (1)

Paolo Costa (1)

Peter Lee (1)

Peter Bodík (1)

Qiufeng Yin (1)

Rick Rashid (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)

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)

Qi Chen (1)

Irene Zhang (1)

Sujay Kumar Jauhar (1)

Mengyu Zhou (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)

Mei Chen (1)

Jiang Bian (1)

Robert Gmyr (1)

Oscar Koller (1)

Carmen Badea (1)

Denae Ford (1)

Xiaofei Wang (1)

Longqi Yang (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)

Daniela Massiceti (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)

Jue Zhang (1)

A. Parayil (1)

Minghua Ma (1)

Srinivasan Iyengar (1)

Arnaud Flutre (1)

A J (HE/HIM) (1)

Michal Sroka (1)

Lili Qiu (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)

Chengruidong Zhang (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)

Chaoyun Zhang (1)

Abhinav Jangda (1)

Ankur Mallick (1)

Reshmi Ghosh (1)

Sergio Valcarcel Macua (1)

Whitney Hudson (1)

Rujia Wang (1)

Gabriel Ebner (1)

Yuancheng Tu (1)

Guido Martínez (1)

Xiaoting Qin (1)

Aashaka Shah (1)

Renee St. Amant (1)

Brian Houck (1)

Liqun Li (1)

Leon Reicherts (1)

Angelica Moreira (1)

Lev Tankelevitch (1)

Shan Lu (1)

Sadjad Fouladi (1)

Prathamesh Deshpande (1)

Gagan Somashekar (1)

Victor Reis (1)

Shraddha Barke (1)

Benjamin Steenhoek (1)

Jessica Young (1)

Dimitra Giantsidi (1)

Sathvik Prasad (1)

Samuel Lee (1)

Samreen Khadeer (1)

Hayley LeBlanc (1)

Published Date

Microsoft Research Blog

Research Focus: Week of December 2, 2024

December 4, 2024

Can a new SOS-RMT protocol enable more efficient CL-MPC?; A fair-by-design, cloud-based algorithmic trading platform; LLM2CLIP unlocks richer visual representation; New technique enhances Low-Rank Adaptation’s expressiveness, generalization capabilities.

Research Focus: Week of December 2, 2024

Publication

Radial Spike and Slab Bayesian Neural Networks for Sparse Data in Ransomware Attacks

Jurijs Nazarovs, Jack W. Stokes, Melissa Turcotte, Justin Carroll, Itai Grady

December 2024

Project

Microsoft Research Blog

Preventing side-channels in the cloud

November 12, 2024 | Stavros Volos, Boris Köpf

Sophisticated side-channel attacks present new security challenges for cloud providers. Learn how Microsoft is exploring defenses against emerging attacks with principled microarchitectural isolation:

Icons representing hardware and devices, security, privacy, and cryptography, and systems and networking on a blue to green gradient background.

Publication

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

Yuxin (Myles) Liu, Zhihao Yao, Mingyi Chen, Ardalan Amiri Sani, Sharad Agarwal, Gene Tsudik

MobiCom | November 2024

Dataset Source Code

Crescent

Crescent adds privacy to existing credentials with zero-knowledge. Crescent is a library to generate proofs of possession of JSON Web Tokens (JWT) and mobile Driver’s Licenses (mDL) credentials. By creating a proof for a JWT…

GitHub

Publication

Exploring Continual Fine-Tuning for Enhancing Language Ability in Large Language Model

Divyanshu Aggarwal, Sankarshan Damle, Navin Goyal, Satya Lokam, Sunayana Sitaram

NeurIPS 2024 Workshop on Fine-Tuning in Modern Machine Learning: Principles and Scalability | October 2024, Vol abs/2410.16006

Microsoft Research Blog

Research Focus: Week of October 7, 2024

October 9, 2024

Simplifying secure decision tree training; Improving accuracy of audio content detection; A novel neurosymbolic system for converting text to tables; New video series: AI for Business Transformation; TEE security protections for container workloads.

Publication

Permissive Information-Flow Analysis for Large Language Models

Shoaib Ahmed Siddiqui, Radhika Gaonkar, Boris Köpf, David Krueger, Andrew Paverd, Ahmed Salem, Shruti Tople, Lukas Wutschitz, Menglin Xia, Santiago Zanella-Béguelin

October 2024

Project

Publication

Confidential Container Groups: Implementing Confidential Computing on Azure Container Instances

Matthew Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Sylvan Clebsch, Christoph M. Wintersteiger, John Starks, Manuel Costa

Communications of the ACM | October 2024, Vol 67(10): pp. 40-49

Project

Publication

Secure Sorting and Selection via Function Secret Sharing

Amit Agarwal, Elette Boyle, Nishanth Chandran, Niv Gilboa, Divya Gupta, Yuval Ishai, Mahimna Kelkar, Yiping Ma

31st Annual Conference on Computer and Communications Security (ACM CCS 2024) | October 2024

Project

Security, privacy, and cryptography

Highlights