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

Melissa Chase (74)

Nishanth Chandran (67)

Kim Laine (58)

Michael Naehrig (55)

Santiago Zanella-Béguelin (52)

Jack W. Stokes (49)

Divya Gupta (47)

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

Sangho Lee (33)

Weidong Cui (32)

Antoine Delignat-Lavaud (31)

Boris Köpf (30)

Christian Paquin (26)

Ramarathnam Venkatesan (26)

Zinan Lin (26)

Karen Easterbrook (25)

Stefan Saroiu (23)

Alec Wolman (22)

Robert Sim (22)

Betül Durak (21)

Tahina Ramananandro (20)

Lukas Wutschitz (20)

Dinei Florencio (19)

Jay Lorch (18)

Tolga Acar (17)

Sergey Yekhanin (17)

Stavros Volos (17)

Chris Hawblitzel (16)

Janardhan (Jana) Kulkarni (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)

Weiteng Chen (13)

John (JD) Douceur (12)

Matthew J. Parkinson (12)

Ahmed Salem (12)

Margus Veanes (11)

Kate Crawford (10)

Radames Cruz Moreno (10)

Juan M. Lavista Ferres (10)

Oleksii Oleksenko (10)

Jay Bosamiya (10)

Dennis Mattoon (9)

Eric Horvitz (9)

Marina Polishchuk (9)

Mike Walker (9)

Ziqiao Zhou (9)

E. Glen Weyl (8)

Lidong Zhou (8)

Raghav Kaushik (8)

Landon Cox (8)

Brian Caswell (8)

Heidi Howard (8)

Emre Kiciman (7)

Manik Varma (7)

Venkat Padmanabhan (7)

Suman Nath (7)

Hamed Khanpour (7)

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

Xiaodong Liu (5)

Xian Zhang (5)

Sepideh Mahabadi (5)

Sarah Smith (5)

Jennifer Chayes (4)

John Langford (4)

Jianfeng Gao (4)

Madan Musuvathi (4)

Ramachandran Ramjee (4)

Ryen W. White (4)

Shuvendu Lahiri (4)

Hanna Wallach (4)

Harsha Simhadri (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)

Chris White (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)

Sharad Agarwal (3)

Siddhartha Sen (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)

Ashish Panwar (3)

Andrew Jenks (3)

Sara Abdali (3)

Roshan Dathathri (3)

Jessica Young (3)

Luca Wilke (3)

Bob Fleck (3)

Cory Duplantis (3)

Aashish Kolluri (3)

Tianyu Chen (3)

Andrew Putnam (2)

Victor Bahl (2)

Nancy Baym (2)

Brendan Lucier (2)

Cheick Keita (2)

Chris Quirk (2)

Scott Counts (2)

Ed Cutrell (2)

Dongmei Zhang (2)

Ece Kamar (2)

Hannes Gamper (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)

Vaishnavi Ranganathan (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)

Hao Cheng (2)

Ashley J. Llorens (2)

Xiaoyuan Yi (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)

Son Ho (2)

Jing Liu (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)

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)

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)

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)

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)

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)

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)

Jianxun Lian (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)

Kevin Hsieh (1)

Mengting Wan (1)

Manthan Thakker (1)

Donald Ngwe (1)

Hang Dong (1)

Madeleine Daepp (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)

Qianhui Wu (1)

Roberto Santos (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)

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)

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)

Dimitra Giantsidi (1)

Sathvik Prasad (1)

Samuel Lee (1)

Samreen Khadeer (1)

Hayley LeBlanc (1)

Jay Gala (1)

Bruce Wittmann (1)

Vineeth N Balasubramanian (1)

Andrew Zhao (1)

Pratyusha Sharma (1)

Ioanna Tzialla (1)

Sai Deng (1)

Rishi Sharma (1)

Published Date

Publication

Numerical Composition of Differential Privacy

Sivakanth Gopi, Yin Tat Lee, Lukas Wutschitz

NeurIPS 2021 | June 2021

Spotlight at NeurIPS 2021.

Github Project

Publication

Panopticon: A Complete In-DRAM Rowhammer Mitigation

Tanj Bennett, Stefan Saroiu, Alec Wolman, Lucian Cojocar

1st Workshop on DRAM Security (DRAMSec) | June 2021

Project

Publication

Stop! Hammer time: rethinking our approach to rowhammer mitigations

Kevin Loughlin, Stefan Saroiu, Alec Wolman, Baris Kasikci

18th Workshop on Hot Topics in Operating Systems (HotOS) | May 2021

Project

Publication

Vaccine Credential Technology Principles

Divya Siddarth, Vi Hart, Bethan Cantrell, Kristina Yasuda, Josh Mandel, Karen Easterbrook

May 2021

Project

Publication

On Privacy and Confidentiality of Communications in Organizational Graphs

Masoumeh Shafieinejad, Huseyin A. Inan (huinan), Marcello Hasegawa, Robert Sim

May 2021

Publication

Causally Constrained Data Synthesis for Private Data Release

Varun Chandrasekaran, Darren Edge, Somesh Jha, Amit Sharma, Cheng Zhang, Shruti Tople

Distributed and Private Machine Learning (DPML) Workshop at ICLR’21 | May 2021

Video

Fuzzing to improve the security and reliability of cloud services with RESTler

May 26, 2021 | Marina Polishchuk

In the past few years, cloud services have experienced tremendous growth. Most of these services are programmatically accessed through REST APIs. As the pace of development increases, both the APIs and service implementations are evolving…

01:10:10

Webinar

Fuzzing to improve the security and reliability of cloud services with RESTler webinar

May 26, 2021 | Online

In this webinar, join Marina Polishchuk, in exploring how RESTler—the first stateful REST API fuzzer—can help efficiently find security and reliability bugs in cloud services. RESTler analyzes a Swagger/OpenAPI specification and produces a fuzzing grammar…

Marina smiling for the camera in a hexagon next to her webinar title

Publication

Efficient Graph Encryption Scheme for Shortest Path Queries

Esha Ghosh, Seny Kamara, Roberto Tamassia

2021 Computer and Communications Security | May 2021

Publication

Adaptive Extractors and their Application to Leakage Resilient Secret Sharing

Nishanth Chandran, Bhavana Kanukurthi, Sai Lakshmi Bhavana Obbattu, Sruthi Sekar

CRYPTO | May 2021

Security, privacy, and cryptography

Highlights