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 (93)

Melissa Chase (74)

Nishanth Chandran (67)

Kim Laine (59)

Santiago Zanella-Béguelin (53)

Divya Gupta (47)

Srinath Setty (43)

Shruti Tople (41)

Josh Benaloh (40)

Greg Zaverucha (38)

Aseem Rastogi (38)

Manuel Costa (37)

Nikhil Swamy (36)

Patrick Longa (35)

Marcus Peinado (34)

Shuo Chen (34)

Antoine Delignat-Lavaud (33)

Sangho Lee (33)

Weidong Cui (32)

Boris Köpf (31)

Zinan Lin (29)

Christian Paquin (27)

Karen Easterbrook (26)

Ramarathnam Venkatesan (26)

Stefan Saroiu (25)

Alec Wolman (24)

Robert Sim (22)

Tahina Ramananandro (21)

Betül Durak (21)

Jay Lorch (19)

Sergey Yekhanin (18)

Stavros Volos (18)

Andrew Paverd (18)

Chris Hawblitzel (17)

Tolga Acar (17)

Janardhan (Jana) Kulkarni (16)

Butler Lampson (15)

Kevin Kane (15)

Satya Lokam (15)

Sylvan Clebsch (15)

Esha Ghosh (15)

Huseyin Inan (15)

Dan Shumow (14)

Ben Zorn (14)

Sriram Rajamani (13)

Weiteng Chen (13)

Ahmed Salem (13)

Matthew J. Parkinson (12)

Radames Cruz Moreno (12)

Jay Bosamiya (12)

Margus Veanes (11)

Kate Crawford (10)

Mike Walker (10)

Brian Caswell (10)

Juan M. Lavista Ferres (10)

Oleksii Oleksenko (10)

Dennis Mattoon (9)

Eric Horvitz (9)

Marina Polishchuk (9)

Ziqiao Zhou (9)

E. Glen Weyl (8)

Lidong Zhou (8)

Venkat Padmanabhan (8)

Raghav Kaushik (8)

Landon Cox (8)

Weiwei Yang (8)

Arturs Backurs (8)

Heidi Howard (8)

Emre Kiciman (7)

Manik Varma (7)

Suman Nath (7)

Hamed Khanpour (7)

Amaury Chamayou (7)

Daniel Jones (7)

Giovanni Cherubin (7)

Amit Sharma (6)

Chetan Bansal (6)

Galen Hunt (6)

Jonathan Larson (6)

Nicole Immorlica (6)

Jaime Teevan (6)

Xiaodong Liu (6)

Daniel Madrigal (6)

Mirian Hipolito Garcia (6)

Rahul Dodhia (6)

Sarah Smith (6)

Adrien Ghosn (6)

Aditya Nori (5)

Darren Edge (5)

Matthew Johnson (5)

Tarleton Gillespie (5)

William Blum (5)

Xian Zhang (5)

James Bono (5)

Sepideh Mahabadi (5)

Jennifer Chayes (4)

John Langford (4)

Jianfeng Gao (4)

Madan Musuvathi (4)

Ramachandran Ramjee (4)

Ryen W. White (4)

Sharad Agarwal (4)

Shuvendu Lahiri (4)

Hanna Wallach (4)

Harsha Simhadri (4)

Eddy Ashton (4)

Victor Ruehle (4)

Saravan Rajmohan (4)

Harsha Nori (4)

Scott Freitas (4)

Ashish Panwar (4)

Gbola Afonja (4)

Bob Fleck (4)

Akash Lal (3)

Victor Bahl (3)

Chris White (3)

Dongmei Zhang (3)

Ece Kamar (3)

Ganesh Ananthanarayanan (3)

Jaron Lanier (3)

Kim Herzig (3)

Henrique S. Malvar (3)

Thomas Moscibroda (3)

Nikolaj Bjørner (3)

Qingwei Lin 林庆维 (3)

Himanshu Raj (3)

Siddhartha Sen (3)

Nathan Evans (3)

Sunayana Sitaram (3)

Kate Lytvynets (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)

Sara Abdali (3)

Saikat Chakraborty (3)

Guido Martínez (3)

Roshan Dathathri (3)

Victor Reis (3)

Jessica Young (3)

Luca Wilke (3)

Son Ho (3)

Cory Duplantis (3)

Tianyu Chen (3)

Rishi Sharma (3)

Andrew Putnam (2)

Nancy Baym (2)

Brendan Lucier (2)

Cheick Keita (2)

Chris Quirk (2)

Scott Counts (2)

Ed Cutrell (2)

Hannes Gamper (2)

Jonathan "Peli" de Halleux (2)

Jake Hofman (2)

Katja Hofmann (2)

Kaushik Rajan (2)

Michel Galley (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)

Mihaela Vorvoreanu (2)

Qi Chen (2)

Francesca Parmigiani (2)

Vaishnavi Ranganathan (2)

Jianxun Lian (2)

Longqi Yang (2)

Jakub Tarnawski (2)

Pu Zhao (2)

P. Anandan (2)

Xenofon Foukas (2)

Aaron L Halfaker (2)

Yixi Xu (2)

Hao Cheng (2)

Ashley J. Llorens (2)

Xiaoyuan Yi (2)

Jue Zhang (2)

Srinivasan Iyengar (2)

Xuchao Zhang (2)

Sarah Fakhoury (2)

Gabriel Ebner (2)

Xiaoting Qin (2)

Samuel Lee (2)

Katy Smith (2)

Shelby Hayes (2)

Bhakta Pradhan (2)

Dustin Fraze (2)

Tyler Payne (2)

Wenyue Hua (2)

Zezhou Huang (2)

Vineeth N Balasubramanian (2)

Andrew Zhao (2)

Adam Fourney (1)

A.J. Brush (1)

Akshay Krishnamurthy (1)

Amit Deshpande (1)

Anoop Gupta (1)

Arjmand Samuel (1)

Abigail Sellen (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)

Jinyu Li (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)

Navin Goyal (1)

Nikos Karampatziakis (1)

Nirupama Chandrasekaran (1)

Paolo Costa (1)

Peter Bodík (1)

Qiufeng Yin (1)

Richard Banks (1)

Sameh Elnikety (1)

Sebastian Burckhardt (1)

Spencer Fowers (1)

Shi Han (1)

Siân Lindley (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)

Xing Xie (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)

Fangzhao Wu (1)

Budhaditya Deb (1)

Rahee Ghosh Peshawaria (1)

Irene Zhang (1)

Sujay Kumar Jauhar (1)

Advait Sarkar (1)

Nagarajan Natarajan (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)

Akshay Nambi (1)

Pratik Ghosh (1)

Dave Bignell (1)

Sudha Rao (1)

Javier Hernandez (1)

Robert Gmyr (1)

Oscar Koller (1)

Carmen Badea (1)

Denae Ford (1)

Xiaofei Wang (1)

Tanuja Ganu (1)

Adam D. Troy (1)

Kieran McDonald (1)

Vu Le (1)

Tadas Baltrusaitis (1)

Yu Kang (1)

Kevin Hsieh (1)

Mengting Wan (1)

Manthan Thakker (1)

Donald Ngwe (1)

Hang Dong (1)

Madeleine Daepp (1)

James Weinstein (1)

Jenna Butler (1)

Josh Mandel (1)

Camille Couturier (1)

Neha Parikh Shah (1)

Dongdong Chen (1)

Suvam Mukherjee (1)

Jugal Parikh (1)

Forough Poursabzi (1)

Kevin Larson (1)

Xiyang Dai (1)

Pedro Henrique Penna (1)

Rafael da Silva (1)

Xuan Feng (1)

Michael Hansen (1)

Qianhui Wu (1)

Roberto Santos (1)

Jennifer Neville (1)

Robert Osazuwa Ness (1)

Sheng Zhao (1)

Mayukh Das (1)

A. Parayil (1)

Minghua Ma (1)

Thomas Roca, PhD (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)

Corby Rosset (1)

Si Qin (1)

Dominic Ayre (1)

Mukul Singh (1)

Mahati Chamarthy (1)

Jay Li (1)

Takuro Sato (1)

Bruno Silva (1)

Riyaz Pishori (1)

Dan Vann (1)

Abhinav Jangda (1)

Ankur Mallick (1)

Reshmi Ghosh (1)

Sergio Valcarcel Macua (1)

Whitney Hudson (1)

Jonathan Mace (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)

Safoora Yousefi (1)

Pei Zhou (1)

Shraddha Barke (1)

Sihao Chen (1)

Benjamin Steenhoek (1)

Hui Xue (1)

Dimitra Giantsidi (1)

Jing Liu (1)

Sathvik Prasad (1)

Samreen Khadeer (1)

Hayley LeBlanc (1)

Jay Gala (1)

Bruce Wittmann (1)

Amanda Swearngin (1)

Pratyusha Sharma (1)

Ioanna Tzialla (1)

Sai Deng (1)

Aashish Kolluri (1)

Zhiyu Fan (1)

Lokesh Nagalapatti (1)

Wilson Nguyen (1)

Published Date

Microsoft Research Blog

Sriram Rajamani squashed bugs on road to leadership role in Microsoft’s India research lab

November 3, 2016

By John Roach, Writer, Microsoft Research After a handful of years writing code for the telecommunications and design automation industries, computer bugs got the best of Sriram Rajamani. He witnessed firsthand how poorly constructed code…

Publication

Self-Verifying Execution (Position Paper)

Matt McCutchen, Daniel Song, Shuo Chen, Shaz Qadeer

Proceedings of the IEEE Cybersecurity Development Conference (SecDev) | November 2016

Proceedings of the IEEE Cybersecurity Development Conference (SecDev)

Publication

Unobservable communication over fully untrusted infrastructure

Sebastian Angel, Srinath Setty

Operating Systems Design and Implementation (OSDI) | November 2016

Project

Publication

Big Data Analytics over Encrypted Datasets with Seabed

Antonis Papadimitriou, Ranjita Bhagwan, Nishanth Chandran, Ramachandran Ramjee, Andreas Haeberlen, Harmeet Singh , Abhishek Modi, Saikrishna Badrinarayanan

2016 USENIX OSDI | November 2016

Project

Publication