illustration of lock, four asterisks and a shield with a fingerprint on it on a green gradient background

Security, privacy, and cryptography

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

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

Current selections

Sort by: Most recent

Clear selections

Search within these results

Content Types

People

Published Date

Video

Microsoft Research New England 10th Anniversary Symposium – Panel: Fairness, Accountability, Transparency, and Ethics

October 11, 2018 | Nicole Immorlica, Hanna Wallach, Timnit Gebru, Deborah Hellman, Adam Kalai, Mira Lane

This panel will discuss how computer science intersects with issues of fairness, accountability, transparency and ethics. Experts will discuss what these concepts mean in general and in the particular context of systems employing artificial intelligence.…

01:01:12

Publication

Logistic regression over encrypted data from fully homomorphic encryption

Hao Chen, Ran Gilad-Bachrach, Kyoohyung Han, Zhicong Huang, Amir Jalali, Kim Laine, Kristin Lauter

BMC Medical Genomics | October 2018, Vol 11(4)

Project

EzPC (Easy Secure Multi-party Computation)

Consider the following scenario: Two hospitals, each having sensitive patient data, must compute statistical information about their joint data. Or, one of the hospitals has a pre-trained ML model based on sensitive patient data and…

Publication

Graviton: Trusted Execution Environments on GPUs

Stavros Volos, Kapil Vaswani, Rordigo Bruno

13th USENIX Symposium on Operating Systems Design and Implementation | October 2018

Project

Publication

Proving the correct execution of concurrent services in zero-knowledge

Srinath Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee

Symposium on Operating Systems Design and Implementation (OSDI) | October 2018

Publication

REPT: Reverse Debugging of Failures in Deployed Software

Weidong Cui, Xinyang Ge, Baris Kasikci, Ben Niu, Upamanyu Sharma, Ruoyu Wang, Insu Yun

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI) | October 2018

Jay Lepreau Best Paper Award

Awarded Best Paper!

Video Project

Microsoft Research Blog

Microsoft Research presents its latest advances in computer systems at OSDI 2018

October 5, 2018 | Srinath Setty

Researchers from Microsoft Research will present their latest advances in computer systems at the USENIX Symposium on Operating Systems Design and Implementation 2018 — the biennial flagship conference for systems research — October 8–10 in…