illustration of lock, four asterisks and a shield with a fingerprint on it on a green gradient background

Security, privacy, and cryptography

lock icon on green background

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

MSR Systems Networking Graphic

ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos

Current selections

Sort by: Most recent

Clear selections

Publication

DRLDO A Novel DRL based De obfuscation System for Defence Against Metamorphic Malware

Mohit Sewak, Sanjay K. Sahay, Hemant Rathore

Defence Science Journal | January 2021, Vol 71(1): pp. 55-65

Publication

Property Inference from Poisoning

Melissa Chase, Esha Ghosh, Saeed Mahloujifar

January 2021

Project

Confidential Consortium Framework

Confidential Consortium Framework – a framework to build secure, highly available, and performant applications that focus on multi-party compute and data https://github.com/microsoft/ccf

Microsoft Research Blog

Password Monitor: Safeguarding passwords in Microsoft Edge

January 21, 2021 | Kristin Lauter, Sreekanth Kannepalli, Kim Laine, Radames Cruz Moreno

One of the biggest pillars for Microsoft Edge is trust. Today, to further bolster that trust while keeping our customers safe, we introduce a new feature called Password Monitor. The feature notifies users if any…

A flow chart showing how information is passed between a user and the password monitor service.

Publication

How Does Data Augmentation Affect Privacy in Machine Learning?

Da Yu, Huishuai Zhang, Wei Chen, Jian Yin, Tie-Yan Liu

AAAI 2021 | January 2021

Publication

Exploring Design and Governance Challenges in the Development of Privacy-Preserving Computation

Nitin Agrawal, Reuben Binns, Max Van Kleek, Kim Laine, Nigel Shadbolt

CHI ’21 | January 2021

Publication

Toward Confidential Cloud Computing

Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia

January 2021

Publication

Function Secret Sharing for Mixed-Mode and Fixed-Point Secure Computation

Elette Boyle, Nishanth Chandran, Niv Gilboa, Divya Gupta, Yuval Ishai, Nishant Kumar, Mayank Rathee

EUROCRYPT 2021 | January 2021

Publication

SuperSolver: accelerating the Delfs-Galbraith algorithm with fast subfield root detection

Maria Corte-Real Santos, Craig Costello, Jia Shi

December 2020

Publication

Effective Detection of Credential Thefts from Windows Memory: Learning Access Behaviours to Local Security Authority Subsystem Service

Patrick Ah-Fat, Michael Huth, Rob Mead, Tim Burrell, Joshua Neil

2020 Recent Advances in Intrusion Detection | December 2020

Your Privacy Choices