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

Layout Randomization and Nondeterminism

Martin Abadi, Jeremy PLanul, Gordon D. Plotkin

Horizons of the Mind. A Tribute to Prakash Panangaden – Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday | Published by Springer | 2014 | Horizons of the Mind. A Tribute to Prakash Panangaden — Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday edition

Publication

U-Prove Set Membership Proof Extension

Mira Belenkiy

MSR-TR-2014-89 | June 2014

Publication

The Anxieties of Big Data

The New Inquiry | May 2014

Publication

Jacobian Coordinates on Genus 2 Curves

Huseyin Hisil, Craig Costello

MSR-TR-2014-76 | May 2014

Publication

A Practical Approach to Protocol-Agnostic Security for Multiparty Online Services

Eric Chen, Shuo Chen, Shaz Qadeer, Rui Wang

MSR-TR-2014-72 | May 2014

Publication

Permacoin: Repurposing Bitcoin Work for Data Preservation

Andrew Miller, Ari Juels, Elaine Shi, Bryan Parno, Jonathan Katz

Proceedings of the IEEE Symposium on Security and Privacy | May 2014

Proceedings of the IEEE Symposium on Security and Privacy

Publication

World-Driven Access Control for Continuous Sensing

Franziska Roesner, David Molnar, Alex Moshchuk, Tadayoshi Kohno, Helen Wang

MSR-TR-2014-67 | May 2014

Publication

Protecting Obfuscation Against Algebraic Attacks

Boaz Barak, Sanjam Garg, Yael Tauman Kalai, Omer Paneth, Amit Sahai

May 2014

Publication

Deja Q: Using Dual Systems to Revisit q-Type Assumptions

Melissa Chase, Sarah Meiklejohn

Eurocrypt 2014 | May 2014

Publication

Efficient Round Optimal Blind Signatures

Sanjam Garg, Divya Gupta

EUROCRYPT | May 2014

Your Privacy Choices