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

Project

MSR JavaScript Cryptography Library

The MSR JavaScript Cryptography Library has been migrated to GitHub. The latest version, v1.6.0, is available here: https://github.com/microsoft/MSR-JavaScript-Crypto The MSR JavaScript Cryptography Library has been developed for use with cloud services in an HTML5 compliant and…

Publication

Hacking the Planet, the Dalai Lama, and You: Managing Technical Vulnerabilities in the Internet Through Polycentric Governance

A. Craig, Scott J. Shackelford

June 2014

Publication

FUD: A Plea for Intolerance

Dinei Florencio, Cormac Herley, Adam Shostack

Communications ACM | June 2014

Publication

Blowfish Privacy: Tuning Privacy-Utility Trade-offs using Policies

Xi He, Ashwin Machanavajjhala, Bolin Ding

Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD 2014) | June 2014

Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD 2014)

Publication

U-Prove Range Proof Extension

Mira Belenkiy

MSR-TR-2014-88 | June 2014

Publication

U-Prove Inequality Proof Extension

Mira Belenkiy

MSR-TR-2014-87 | June 2014

Publication

U-Prove Bit Decomposition Extension

Mira Belenkiy

MSR-TR-2014-83 | June 2014

Publication

Querying Encrypted Data (Tutorial)

Arvind Arasu, Ken Eguro, Raghav Kaushik, Ravi Ramamurthy

2014 ACM SIGMOD Conference | June 2014

Publication

U-Prove Equality Proof Extension

Mira Belenkiy

MSR-TR-2014-86 | June 2014

Publication

Private Computation on Encrypted Genomic Data

Kristin Lauter, , Michael Naehrig

MSR-TR-2014-93 | June 2014

Your Privacy Choices