Security, privacy, and cryptography

Project

Confidential Containers

More and more of the world’s cloud computation is containerized, but these containers are not safe. From web servers to machine learning models, containerization empowers users to build functionality that can be effortlessly moved into…

Publication

MOESI-prime: preventing coherence-induced hammering in commodity workloads

Kevin Loughlin, Stefan Saroiu, Alec Wolman, Yatin A. Manerkar, Baris Kasikci

49th International Symposium on Computer Architecture (ISCA) | June 2022

Project

Publication

Privacy Leakage in Text Classification: A Data Extraction Approach

Adel Elmahdy, Huseyin Inan, Robert Sim

June 2022

Publication

Two Coupled Rejection Metrics Can Tell Adversarial Examples Apart

Tianyu Pang, Huishuai Zhang, Di He, Yinpeng Dong, Hang Su, Wei Chen, Jun Zhu, Tie-Yan Liu, Tie-Yan Liu

CVPR 2022 | June 2022

Publication

LLAMA: A Low Latency Math Library for Secure Inference

Kanav Gupta, Deepak Kumaraswamy, Nishanth Chandran, Divya Gupta

PETS 2022 | June 2022

Project

Publication

How to Conﬁgure Row-Sampling-Based Rowhammer Defenses

Stefan Saroiu, Alec Wolman

2nd Workshop on DRAM Security (DRAMSec) | June 2022

Project

Publication

Hardening Attack Surfaces with Formally Proven Binary Format Parsers

Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta

2022 Programming Language Design and Implementation | June 2022

Project

Publication

Rate One-Third Non-malleable Codes

Divesh Aggarwal, Sruthi Sekar, Bhavana Kanukurthi, Maciej Obremski, Sai Lakshmi Bhavana Obbattu

STOC 2022 | June 2022

Publication

Circuit-PSI with Linear Complexity via Relaxed Batch OPPRF

Nishanth Chandran, Divya Gupta, Akash Shah

22nd Privacy Enhancing Technologies Symposium (PETS 2022) | June 2022

Project

Publication

Dropbear: Machine Learning Marketplaces made Trustworthy with Byzantine Model Agreement

Alex Shamis, Peter Pietzuch, Antoine Delignat-Lavaud, Andrew Paverd, Manuel Costa

May 2022

Security, privacy, and cryptography

Leveraging Large Language Models for Automated Proof Synthesis in Rust

Intern Insights: Dr. Josh Benaloh with Anunay Kulshrestha and Karan Newatia

Closed-Form Bounds for DP-SGD against Record-level Inference

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

Confidential Containers

MOESI-prime: preventing coherence-induced hammering in commodity workloads

Privacy Leakage in Text Classification: A Data Extraction Approach

Two Coupled Rejection Metrics Can Tell Adversarial Examples Apart

LLAMA: A Low Latency Math Library for Secure Inference

How to Conﬁgure Row-Sampling-Based Rowhammer Defenses

Hardening Attack Surfaces with Formally Proven Binary Format Parsers

Rate One-Third Non-malleable Codes

Circuit-PSI with Linear Complexity via Relaxed Batch OPPRF

Dropbear: Machine Learning Marketplaces made Trustworthy with Byzantine Model Agreement

Security, privacy, and cryptography

Highlights