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

Microsoft Research Blog

Toward trusted sensing for the cloud: Introducing Project Freta

July 6, 2020 | Mike Walker

Editor’s note, Feb. 14, 2024 – The Project Freta analysis web portal is no longer publicly accessible. Please contact project-freta@microsoft.com. “Sunlight is said to be the best of disinfectants.” …

Project Freta graphic

Video

Optics for the Cloud PhD Event 2020 – Day 2

July 2, 2020 | Francesca Parmigiani, Alessandro Ottino, Kari Clark, Pablo Wilke Berenguer, Arastu Sharma, Grant Brodnik, Mark Harrington

This Virtual PhD Event will bring together the PhD students funded through the Optics for the Cloud Research Alliance and their academic and Microsoft supervisors with Research Alliance members and the wider Optics for the…

Video

Optics for the Cloud PhD Event 2020 – Day 1

July 1, 2020 | Ant Rowstron, Hitesh Ballani, Arslan Raja, Wenjing Tian, Jintao Hong, Hubert Dzieciol, Paolo Costa, Francesca Parmigiani

This Virtual PhD Event will bring together the PhD students funded through the Optics for the Cloud Research Alliance and their academic and Microsoft supervisors with Research Alliance members and the wider Optics for the…

Publication

Gradient Perturbation is Underrated for Differentially Private Convex Optimization

Da Yu, Huishuai Zhang, Wei Chen, Jian Yin, Tie-Yan Liu

IJCAI2020 | July 2020

Publication

Privately Learning Markov Random Fields

Huanyu Zhang, Gautam Kamath, Janardhan (Jana) Kulkarni, Zhiwei Steven Wu

ICML 2020 | July 2020

Publication

Locally Private Hypothesis Selection

Sivakanth Gopi, Gautam Kamath, Janardhan (Jana) Kulkarni, Aleksandar Nikolov, Zhiwei Steven Wu, Huanyu Zhang

Conference on Learning Theory (COLT) 2020 | July 2020

Publication

COVID19 Data Donation Survey Methodology Summary

Elissa M. Redmiles, John Krumm

MSR-TR-2020-22 | July 2020

Published by Microsoft

Publication

Alleviating Privacy Attacks via Causal Learning

Shruti Tople, Amit Sharma, Aditya V. Nori

International Conference on Machine Learning (ICML) | July 2020

Github Project Project

Publication

Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language

Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel

12th Conference on Verified Software: Theories, Tools, and Experiments (VSTTE) | July 2020

Publication

Differentially Private Set Union

Sivakanth Gopi, Pankaj Gulhane, Janardhan (Jana) Kulkarni, Judy Hanwen Shen, Milad Shokouhi, Sergey Yekhanin

International Conference on Machine Learning 2020 | July 2020

Contributed talk at TPDP 2020. Also appeared in the Journal of Privacy and Confidentiality (JPC).

Your Privacy Choices