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

Publication

Secret-Shared Shuffle

Melissa Chase, Esha Ghosh, Oxana Poburinnaya

Asiacrypt 2020 | December 2020

Publication

Private Set Intersection in the Internet Setting from Lightweight Oblivious PRF

Melissa Chase, Peihan Miao

Crypto 2020 | August 2020

Publication

Reusable Non-Interactive Secure Computation

Melissa Chase, Yevgeniy Dodis, Yuval Ishai, Daniel Kraschewski, Tianren Liu, Rafail Ostrovsky, Vinod Vaikuntanathan

Crypto 2019 | August 2019

Publication

SECFLOAT: Accurate Floating-Point meets Secure 2-Party Computation

Deevashwer Rathee, Anwesh Bhattacharya, Rahul Sharma, Divya Gupta, Nishanth Chandran, Aseem Rastogi

43rd IEEE Symposium on Security and Privacy (IEEE S&P 2022) | May 2022

Project

Event

Microsoft at NDSS 2022

April 24, 2022 – April 28, 2022 | Hybrid | San Diego, CA, USA

Microsoft Research is proud to be a sponsor of The Network and Distributed System Security (NDSS) Symposium 2022. See more details on our contributions below.

Publication

A Large-Scale Measurement of Cybercrime Against Individuals

Casey Breen, Cormac Herley, Elissa M. Redmiles

CHI 2022 | April 2022

Publication

HardLog: Practical Tamper-Proof System Auditing Using a Novel Audit Device

Adil Ahmad, Sangho Lee, Marcus Peinado

43rd IEEE Symposium on Security and Privacy (Oakland 2022) | May 2022

Publication

Transparency Dictionaries with Succinct Proofs of Correct Operation

Ioanna Tzialla, Abhiram Kothapalli, Bryan Parno, Srinath Setty

NDSS 2022 | April 2022

Publication

Detecting Malicious PowerShell Commands using Deep Neural Networks

Danny Hendler, Shay Kels, Amir Rubin

2018 Computer and Communications Security | May 2018

Publication

AMSI-Based Detection of Malicious PowerShell Code Using Contextual Embeddings

Danny Hendler, Shay Kels, Amir Rubin

2020 Computer and Communications Security | October 2020

Security, privacy, and cryptography

Highlights