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

Video

Charles River Crypto Day – Constant-Round Concurrent Zero-knowledge from Indistinguishability Obfuscation

February 23, 2015 | Huijia (Rachel) Lin

We present a constant-round concurrent zero-knowledge protocol for NP. Our protocol relies on the existence of families of collision-resistant hash functions, one-way permutations, and indistinguishability obfuscators for P/poly (with slightly super-polynomial security).

a woman smiling for the camera

Video

Social Media Platforms and the Curation of Public Culture

February 17, 2015 | Tarleton Gillespie

Media sociologists have long studied the role that private, commercial media providers play in shaping public culture. It has long been apparent that broadcasters and publishers make choices and assumptions that have consequences for the…

Tarleton Gillespie looking at the camera

Publication

Policy-Carrying Data: A Privacy Abstraction for Attaching Terms of Service to Mobile Data

Stefan Saroiu, Alec Wolman, Sharad Agarwal

HotMobile ’15 Proceedings of the 16th International Workshop on Mobile Computing Systems and Applications | February 2015

Publication

Sensor-Based User Authentication

He Wang, Dimitrios Lymberopoulos, Jie Liu

Wireless Sensor Networks – 12th European Conference, EWSN 2015, Porto, Portugal | February 2015

ISBN: 978-3-319-15581-4

Publication

Display Leakage and Transparent Wearable Displays: Investigation of Risk, Root Causes, and Defenses

Tadayoshi Kohno, Joel Kollin, David Molnar, Franziska Roesner,

MSR-TR-2015-18 | February 2015

Publication

Bloom Cookies: Web Search Personalization without User Tracking

Nitesh Mor, Oriana Riva, Suman Nath, John Kubiatowicz

Proceedings of the 22nd Annual Network and Distributed System Security Symposium (NDSS ’15) | February 2015

Proceedings of the 22nd Annual Network and Distributed System Security Symposium (NDSS '15)

Publication

Identifying Cross-origin Resource Status Using Application Cache

Sangho Lee, Hyungsub Kim, Jong Kim

22nd Network and Distributed System Security Symposium (NDSS 2015) | February 2015

Publication

Selecting Elliptic Curves for Cryptography: An Efficiency and Security Analysis

Joppe Bos, Craig Costello, Patrick Longa, Michael Naehrig

Journal of Cryptographic Engineering | February 2015, Vol 6(4): pp. 259-286

Publication

The Cost of Asking Crowd Workers to Behave Maliciously

Walter. S. Lasecki, Jaime Teevan, Ece Kamar

In Proceedings of the Workshop on Human-Agent Interaction Design and Models (HAIDM 2015) at AAMAS 2015 | February 2015

Publication

IC-Cut: A Compositional Search Strategy for Dynamic Test Generation

Maria Christakis, Patrice Godefroid

MSR-TR-2015-10 | February 2015

February 2015, revised May 2015

Your Privacy Choices