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

Published Date

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…

02:31:36

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

Project

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

Project

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

Project

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).

Github Project

Publication

PACT: Privacy-Sensitive Protocols And Mechanisms for Mobile Contact Tracing

Justin Chan, Landon Cox, Dean Foster, Shyam Gollakota, Eric Horvitz, Joseph Jaeger, Sham Kakade, Tadayoshi Kohno, John Langford, Jonathan Larson, Puneet Sharma, Sudheesh Singanamalla, Jacob Sunshine, Stefano Tessaro

IEEE Data Engineering Bulletin | July 2020, Vol 43(2): pp. 15-35

Project

Tool

Differentially Private Set Union

This repository contains the code and dataset for the following paper: Differentially Private Set Union with Applications to Vocabulary Generation

GitHub Publication

Security, privacy, and cryptography

Highlights