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

Tool

FrodoKEM: Learning with Errors Key Encapsulation

This C library implements FrodoKEM, an IND-CCA secure key encapsulation (KEM) protocol based on the well-studied Learning with Errors (LWE) problem [1], which in turn has close connections to conjectured-hard problems on generic, “algebraically unstructured” lattices. FrodoKEM is…

GitHub

Microsoft Research Blog

From research idea to research-powered product: behind the scenes with Azure Sphere

April 16, 2018 | Vikram Dendi

At RSA Conference 2018, Microsoft announced Azure Sphere, previewing a unique new solution to help connect and secure the most populous category of computing today: the tens of billions of devices powered by microcontrollers (MCUs).…

Video

Azure Sphere Predictive Maintenance

April 16, 2018 | Steve Hodges

See how Microsoft engineers envision new business opportunities and consumer experiences with Azure Sphere. Imagine a day when your washing machine predicts a failure and helps you arrange for a repair before a break down…

a man wearing glasses and smiling at the camera

Publication

RESTler: Automatic Intelligent REST API Fuzzing

Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk

MSR-TR-2018-11 | April 2018

Published by Microsoft

Video Github

Publication

Neural Sequential Malware Detection with Parameters

Rakshit Agrawal, Jack W. Stokes, Mady Marinescu, Karthik Selvaraj

2018 International Conference on Acoustics, Speech, and Signal Processing | April 2018

Project

Podcast

Tales from the Crypt(ography) Lab with Dr. Kristin Lauter

April 11, 2018

Episode 19, April 11, 2018 – Dr. Lauter tells us why she feels lucky to do math for a living, explains the singular beauty of elliptic curves and the singular difficulty of supersingular isogeny graphs,…

Microsoft Research Blog

Second homomorphic encryption standardization workshop delivers the goods

April 10, 2018 | Kristin Lauter

What an exciting two days at the Second Homomorphic Encryption Standardization Workshop at Massachusetts Institute of Technology. More than 70 participants from 10 countries gathered together for two intense days of panels, discussions and planning…