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

Exploring Collection of Sign Language Datasets: Privacy, Participation, and Model Performance

Danielle Bragg, Oscar Koller, Naomi Caselli, Bill Thies

ASSETS 2020 | October 2020

Video

Introducing the Developing Secure Systems Summit

October 21, 2020 | Nikhil Swamy

A brief introduction to a new event focused on designing computer systems that “build security in”.

Project

Blockene

Blockene is a blockchain architecture that reduces resource usage at member nodes by orders of magnitude, requiring only a smartphone to participate in block validation and consensus. Despite being lightweight, Blockene provides high throughput and…

Publication

AMSI-Based Detection of Malicious PowerShell Code Using Contextual Embeddings

Danny Hendler, Shay Kels, Amir Rubin

2020 Computer and Communications Security | October 2020

Publication

Metadata-Based Detection of Child Sexual Abuse Material

Mayana Pereira, Rahul Dodhia, Richard Brown

October 2020

Publication

Designing Indicators to Combat Fake Media

Imani N. Sherman, Elissa M. Redmiles, Jack W. Stokes

October 2020

Publication

Byzantine Ordered Consensus without Byzantine Oligarchy

Yunhao Zhang, Srinath Setty, Qi Chen, Lidong Zhou, Lorenzo Alvisi

Operating Systems Design and Implementation (OSDI) | October 2020

Jay Lepreau Best Paper Award

Publication

Robust P2P Primitives Using SGX Enclave

Yaoqi Jia, Shruti Tople, Tarik Moataz, Deli Gong, Prateek Saxena, Zhenkai Liang

23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID) | October 2020

Publication

The Lazarus Effect: Healing Compromised Devices in the Internet of Small Things

Manuel Huber, Stefan Hristozov, Simon Ott, Vasil Sarafov, Marcus Peinado

The 15th ACM Asia Conference on Computer and Communications Security | October 2020

Publication

Robust P2P Primitives Using SGX Enclaves

Yaoqi Jia, Shruti Tople, Tarik Moataz, Deli Gong, Prateek Saxena, Zhenkai Liang

23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID) | October 2020

Your Privacy Choices