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

Project Freta SDK/CLI

The Freta library for Python enables access to Project Freta (opens in new tab), a service used to inspect volatile memory images. Included in this library is a utility, freta, which provides command line access to the Project Freta (opens…

GitHub

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.” …

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…