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

Privacy-Aware Personalized Entity Representations for Improved User Understanding

Levi Melnick, Hussein Elmessilhy, Vassilis Polychronopoulos, Gilsinia Lopez, Yuancheng Tu, Omar Zia Khan, Ye-Yi Wang, Chris Quirk

PrivateNLP @ WSDM | February 2020

Publication

PrivateEye: Scalable Privacy-Preserving Compromise Detection In The Cloud

Behnaz Arzani, Selim Ciraci, Stefan Saroiu, Alec Wolman, Jack W. Stokes, Geoff Outhred, Lechao Diwu

17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20) | February 2020

Video

ARS 2020: Track on Verification

January 30, 2020 | Sanjiva Prasad, S P Suresh, Aseem Rastogi, R Ramanujam

Track on Verification – Sanjiva Prasad, IIT Delhi ; S P Suresh, CMI ; Aseem Rastogi, Microsoft Research. Track moderator : R Ramanujam, IMSC

01:22:14

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…

Security, privacy, and cryptography

Highlights