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

Web Security Panel

December 2, 2020 | Charlie Reis, Andreas Rossberg, Ben Livshits

Charlie Reis (Google) on Improving Chrome’s Security Architecture Andreas Rossberg (Dfinity) on Security through Modularity in Web Assembly Ben Livshits (Imperial College and Brave) on Browser Privacy

01:29:13

Video

Your Threat Model is Bad and You Should Feel Bad

December 1, 2020 | Herbert Bos

This presentation will explain how to create bad threat models (just keep doing what you’re doing), why abstractions are the work of the devil (and a necessary evil), and what happens when processor flaws meet…

01:22:00

Video

Different Career Paths: Academia and Industry Panel | Microsoft PhD Summit 2020

December 1, 2020 | Gonzalo Ramos, Valerie Taylor, Armando Solar-Lezama, Kristin Lauter

A panel of four researchers across academia and industry discuss their different career paths in research. Speakers: Gonzalo Ramos, Principal Researcher, Microsoft [Discussion Lead] Valerie Taylor, CEO and President, CMD-IT & Director, Mathematics and Computer…

01:00:58

Publication

Secure Medical Image Analysis with CrypTFlow

Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran, Divya Gupta, Aditya Nori, Aseem Rastogi, Mayank Rathee, Rahul Sharma, Shubham Ugare

NeurIPS PPML Workshop | December 2020

Project Project

Publication

Who Watches the Watchmen? A Review of Subjective Approaches for Sybil-Resistance in Proof of Personhood Protocols

Divya Siddarth, Sergey Ivliev, Santiago Siri, Paula Berman

Frontiers in Blockchain | December 2020

Publication

Celestial: A Smart Contracts Verification Framework

Samvid Dharanikota, Suvam Mukherjee, Chandrika Bhardwaj, Aseem Rastogi, Akash Lal

MSR-TR-2020-43 | December 2020

Published by Microsoft

Publication

The Connection between Out-of-Distribution Generalization and Privacy of ML Models

Divyat Mahajan, Shruti Tople, Amit Sharma

Privacy Preserving Machine Learning (PriML/PPML) Workshop at NeurIPS’20 | December 2020

Video

Creating Secure IoT Devices

November 18, 2020 | Galen Hunt

Five years ago, my research team set out on a mission to make it possible for any device manufacturer to create secure IoT devices. While getting security right is hard in any domain, it is…

01:25:55

Microsoft Research Blog

RESTler finds security and reliability bugs through automated fuzzing

November 16, 2020

Cloud services have become the new critical infrastructure, and cloud expectations have transformed how developers work. The number of cloud services that are business-critical continues to grow every day, with no end in sight. And…

Tool

REST API Fuzz Testing

This self-hosted service developed for Azure, including its orchestration engine and security tools (including MSR’s RESTler), enables developers to embed security tooling into their CI/CD workflows.

GitHub Publication Publication Publication Publication Publication

Security, privacy, and cryptography

Highlights