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

Publication

XONN: XNOR-based Oblivious Deep Neural Network Inference

M. Sadegh Riazi, Mohammad Samragh, Hao Chen, Kim Laine, Kristin Lauter, Farinaz Koushanfar

USENIX Security | August 2019

Publication

Differential Regression Testing for REST APIs

Patrice Godefroid, Daniel Lehmann, Marina Polishchuk

MSR-TR-2019-23 | August 2019

Published by Microsoft

Revised version published in ISSTA'2020, July 2020.

Video Github Project

Video

Targeting and Privacy in Mobile Advertising

July 24, 2019 | Hema Yoganarasimhan

Mobile in-app advertising is growing in popularity. While these ads have excellent user-tracking properties through mobile device IDs, they have raised concerns among privacy advocates. This has resulted in an ongoing debate on the value…

Video: Targeting and Privacy in Mobile Advertising

1:06:37

Publication

Bidirectional Asynchronous Ratcheted Key Agreement with Linear Complexity

Betül Durak, Serge Vaudenay

IWSEC | July 2019

Publication

Prototyping post-quantum and hybrid key exchange and authentication in TLS and SSH

Eric Crockett, Christian Paquin (cpaquin), Douglas Stebila

July 2019

Project

Tool

.NET Wrapper for Post Quantum Crypto

.NET wrapper exposing the API of the Open Quantum Safe (OQS) C library.

GitHub

Tool

AsureRun – Microsoft SEAL

Demos, Examples, Tutorials for using Microsoft SEAL library.

GitHub

Tool

TypeScript-React-Redux-Bootstrap-Sass-Webpack-Starter [1.0.0]

Single page application using React. Uses TypeScript as language. Uses Redux for state management. Uses Bootstrap framework for CSS with Sass as preprocessor. webpack as module bundler

GitHub

Tool

Post-quantum Cryptography VPN

Modify the OpenVPN client and server to support key exchange and signature algorithms that are “post-quantum”: not known to be susceptible to attack by a sufficiently large quantum computer. MSR Security and Cryptography currently has…

GitHub

Tool

RIoT Reference Architecture

Robust, Resilient, Recoverable Internet of Things (RIoT), from Microsoft Research, is an architecture for providing foundational trust services to computing devices. Device Identity Composition Engine (DICE) is an industry hardware/firmware standard that is the foundation…

GitHub Publication

Security, privacy, and cryptography

Highlights