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

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)

Sangho Lee (33)

Antoine Delignat-Lavaud (32)

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)

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)

Son Ho (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)

Samuel Lee (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

Publication

Strong and Efficient Cache Side-Channel Protection using Hardware Transactional Memory

Daniel Gruss, Julian Lettner, Felix Schuster, Olya Ohrimenko, Istvan Haller, Manuel Costa

USENIX Security Symposium 2017 | August 2017

Publication

Vale: Verifying High-Performance Cryptographic Assembly Code

Barry Bond, Chris Hawblitzel, Manos Kapritsos, Rustan Leino, Jay Lorch, Bryan Parno, Ashay Rane, Srinath Setty, Laure Thompson

Proceedings of the USENIX Security Symposium | August 2017

Distinguished Paper Award

Access Github Project

Publication

Inferring Fine-grained Control Flow Inside SGX Enclaves with Branch Shadowing

Sangho Lee, Ming-Wei Shih, Prasun Gera, Taesoo Kim, Hyesoon Kim, Marcus Peinado

26th USENIX Security Symposium (USENIX Security 17) | August 2017

Publication

Enabling secure and resource-efficient blockchain networks with VOLT

Srinath Setty, Soumya Basu, Lidong Zhou, Justine Stephenson, Ramarathnam Venkatesan

MSR-TR-2017-38 | August 2017

Published by Microsoft

Project

Always Encrypted

Note: This research project has reached its conclusion. Always Encrypted graduated from MSR to SQL Server 2016. These pages are maintained for reference and archival purposes. Always Encrypted is a feature designed to protect sensitive…

Publication

Efficient, Constant-Round and Actively Secure MPC: Beyond the Three-Party Case

Nishanth Chandran, Juan Garay, Payman Mohassel, Satyanarayana Vusirikala

ACM Conference on Computer and Communications Security 2017 | August 2017

Publication

Inferring Fine-grained Control Flow Inside SGX Enclaves with Branch Shadowing

Sangho Lee, Ming-Wei Shih, Prasun Gera, Taesoo Kim, Hyesoon Kim, Marcus Peinado

26th USENIX Security Symposium (Security 2017) | August 2017

Publication

Loophole: Timing Attacks on Shared Event Loops in Chrome

Pepe Vila, Boris Köpf

USENIX Security Symposium | August 2017

Distinguished paper award

Project

Publication

Breaking the FF3 Format-Preserving Encryption Standard over Small Domains

Betül Durak, Serge Vaudenay

CRYPTO | July 2017

Publication

Private queries on encrypted genomic data

Kim Laine, Kristin Lauter, Hao Chen, Peter Rindal, Gizem S. Çetin, Yuhou Xia

iDASH Privacy and Security Workshop 2016 | July 2017

Project

Security, privacy, and cryptography

Highlights