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

Event

Microsoft at NDSS 2021

February 21, 2021 – February 24, 2021 | Virtual

Microsoft is proud to be a sponsor of the Network and Distributed System Security Symposium (NDSS) 2021. Stop by our virtual booth to learn more about our research and open opportunities at Microsoft.

Publication

Stronger NAS with Weaker Predictors

Junru Wu, Xiyang Dai, Dongdong Chen, Yinpeng Chen, Mengchen Liu, Ye Yu, Zhangyang Wang, Zicheng Liu, Mei Chen, Lu Yuan

NeurIPS 2021 | February 2021

Publication

Robust and Differentially Private Mean Estimation

Xiyang Liu, Weihao Kong, Sham Kakade, Sewoong Oh

NeurIPS 2021 | February 2021

Publication

Detecting Anomalous Time Series by GAMLSS-Akaike-Weights-Scoring

Cole Sodja

Journal of Computational and Graphical Statistics | February 2021, pp. 1-13

Video

Microsoft Research Conversations in STEM: Future Horizons of Science

February 10, 2021 | Yael Tauman Kalai, Bichlien Nguyen, Andromachi Chatzieleftheriou, Emma Dauterman

Future Horizons of Science If you agree with Arthur C. Clarke that the only way to discover the limits of the possible is to venture a little way past them into the impossible, you’ll be…

01:00:19

Tool

DICE*

This project develops a formally verified implementation of the DICE measured boot protocol for IoT devices, micro-controllers, and other devices (microsoft/RIoT (opens in new tab)). The implementation is provably memory safe, functionally correct, and resistant…

GitHub

Publication

Banquet: Short and Fast Signatures from AES

Carsten Baum, Cyprien Delpech de Saint Guilhem, Daniel Kales, Emmanuela Orsini, Peter Scholl, Greg Zaverucha

PKC 2021 | February 2021

Project Project

Video

Interactive Error Resilience and the Surprising Power of Feedback

February 3, 2021 | Raghuvansh Saxena

Interactive error correcting codes are codes that encode a two party communication protocol to an error-resilient protocol that succeeds even if a constant fraction of the communicated symbols are adversarially corrupted, at the cost of…