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

ElectionGuard

ElectionGuard is an open source software development kit (SDK) that makes voting more secure, transparent and accessible. Announced on at the Build developer conference (opens in new tab), ElectionGuard enables end-to-end verification of elections as well as support…

GitHub

Publication

Actor Critic Deep Reinforcement Learning for Neural Malware Control

Yu Wang, Jack W. Stokes, Mady Marinescu

Proceedings of the AAAI Conference on Artificial Intelligence | February 2020

Event

Homomorphic Encryption Workshop 2020

February 6, 2020 – February 7, 2020 | Redmond, Washington, USA

This meeting will be an opportunity for us to reflect on the progress we’ve made and to chart a path forward together as a community. We will take this opportunity together to articulate the community…

Homomorphic Encryption Standardization Workshop

Publication

Witness Indistinguishability For Any Single-Round Argument With Applications To Access Control

Zvika Brakerski, Yael Tauman Kalai

IACR International Conference on Public-Key Cryptography | February 2020

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

Security, privacy, and cryptography

Highlights