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

ARS 2020: Security & Privacy around Foundational Identity for Sovereign Nations

January 30, 2020 | Anadi Mishra, Sasikumar Ganesan

Talk: Security & Privacy around Foundational Identity for Sovereign Nations – Anadi Mishra, Architect MOSIP Sasikumar Ganesan, Security Architect, MOSIP/India Stack

Modular Open Source Identity Platform MOSIP

01:04:46

Video

ARS 2020: Privacy & Security in Healthcare

January 30, 2020 | Bill Thies, Beena Thomas, Greg Moore, Rahul Panicker, Wadhwani AI

Privacy & Security in Healthcare Bill Thies (Microsoft Research) in conversation with Dr. Beena Thomas, Greg Moore (Microsoft Research), Rahul Panicker, and Wadhwani AI

Video

ARS 2020: Fairness, Transparency and Privacy in Digital Systems

January 30, 2020 | Astha Kapoor, Emre Kiciman, Yair Zick, Amit Sharma

Track : Fairness, Transparency and Privacy in Digital systems Astha Kapoor, Aapti Institute ; Emre Kiciman, Microsoft Research ; Yair Zick, National University of Singapore Track Moderator : Amit Sharma, Microsoft Research

Video

ARS 2020: Panel Discussion: Cyber Security – National Policy and Preparedness

January 29, 2020 | G Narendra Nath, Subrata Rakshit, Madhavan Mukund

Panel Discussion: Cyber Security – National Policy and Preparedness G Narendra Nath, joint Secretary, NCSC Subrata Rakshit, CAIR DRDO Track Moderator : Madhavan Mukund, Chennai Mathematical Institute

Event

Swiss Joint Research Center Workshop 2020

January 29, 2020 – January 30, 2020 | Lausanne, Switzerland

The 7th annual workshop of the Swiss Joint Research Center, a collaborative engagement between Microsoft Research and ETH Zurich and EPFL, took place January 29-30, 2020 at EPFL in Lausanne. Each of the twelve project teams…

Publication

Supersingular isogeny key exchange for beginners

Craig Costello

SAC 2019 | January 2020

Project

Video

Migrating to quantum-safe crypto to protect against the quantum hacker – DEF CON 27 Crypto and Privacy Village

January 7, 2020 | Christian Paquin

A non-trivial quantum computer would break the public key cryptography in use today. They might be at least a decade away, but nothing prevents adversaries to record and store selected internet traffic today for later…

Video

Introduction to CKKS (Approximate Homomorphic Encryption)

January 7, 2020 | Yongsoo Song

The Private AI Bootcamp offered by Microsoft Research (MSR) focused on tutorials of building privacy-preserving machine learning services and applications with homomorphic encryption (HE). Around 30 PhD students were invited to gather at the Microsoft…

Yongsoo Song giving talk at Microsoft Research

0:44:07

Publication

Fuzzing: Hack, Art, and Science

Patrice Godefroid

Communications of the ACM | January 2020, Vol 63(2)

Publication

Protecting GANs against privacy attacks by preventing overfitting

Sumit Mukherjee, Yixi Xu, Anusua Trivedi, Juan M. Lavista Ferres

December 2019

Security, privacy, and cryptography

Highlights