illustration of lock, four asterisks and a shield with a fingerprint on it on a green gradient background

Security, privacy, and cryptography

lock icon on green background

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

MSR Systems Networking Graphic

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

Current selections

Sort by: Most recent

Clear selections

Publication

What are Weak Links in the npm Supply Chain?

Nusrat Zahan, Tom Zimmermann, Patrice Godefroid, Brendan Murphy, Chandra Maddila, Laurie Williams

ICSE 2022 | May 2022

Project Project

Publication

Timing-Based Browsing Privacy Vulnerabilities Via Site Isolation

Zihao Jin, Ziqiao Kong, Shuo Chen, Haixin Duan

IEEE Symposium on Security and Privacy (Oakland) | May 2022

Publication

SECFLOAT: Accurate Floating-Point meets Secure 2-Party Computation

Deevashwer Rathee, Anwesh Bhattacharya, Rahul Sharma, Divya Gupta, Nishanth Chandran, Aseem Rastogi

43rd IEEE Symposium on Security and Privacy (IEEE S&P 2022) | May 2022

Publication

Short Leakage Resilient and Non-malleable Secret Sharing Schemes

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

CRYPTO 2022 | May 2022

Publication

Universally Composable Almost-Everywhere Secure Computation

Nishanth Chandran, Pouyan Forghani, Juan Garay, Rutvik Patel, Rafail Ostrovsky, Vassilis Zikas

Information Theoretic Cryptography Conference (ITC 2022) | May 2022

Video

Securing AI Systems for Humanitarian Action | Panel Discussion

April 28, 2022 | Scarlet Schwiderski-Grosche, Balthasar Staehelin, Shweta Shinde, Cédric Fournet & Edouard Bugnion

The Applied Machine Learning Days channel features talks and performances from the Applied Machine Learning Days. AMLD is one of the largest machine learning & AI events in Europe, focused specifically on the applications of…

Video

Better Foundations for Secure Software Systems

April 28, 2022 | Shweta Shinde

Securing AI Systems for Humanitarian Action The Applied Machine Learning Days channel features talks and performances from the Applied Machine Learning Days. AMLD is one of the largest machine learning & AI events in Europe,…

Video

Supply Chain Security and Transparency for AI Systems

April 28, 2022 | Cédric Fournet

Securing AI Systems for Humanitarian Action The Applied Machine Learning Days channel features talks and performances from the Applied Machine Learning Days. AMLD is one of the largest machine learning & AI events in Europe,…

timeline

Video

Digital Sovereignty and Neutrality in Humanitarian Action

April 28, 2022 | Balthasar Staehelin

Securing AI Systems for Humanitarian Action The Applied Machine Learning Days channel features talks and performances from the Applied Machine Learning Days. AMLD is one of the largest machine learning & AI events in Europe,…

graphical user interface, website

Video

Must Digital Trust Rely on Conventional Trust (or is it the Other Way Around)?

April 28, 2022 | Edouard Bugnion

Securing AI Systems for Humanitarian Action The Applied Machine Learning Days channel features talks and performances from the Applied Machine Learning Days. AMLD is one of the largest machine learning & AI events in Europe,…

graphical user interface, website