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

REST API Fuzz Testing

This self-hosted service developed for Azure, including its orchestration engine and security tools (including MSR’s RESTler), enables developers to embed security tooling into their CI/CD workflows.

GitHub Publication Publication Publication Publication Publication

Tool

RESTler-Fuzzer

RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.

GitHub Publication Publication Publication Publication Publication

Publication

How robust are malware detection models for Android smartphones against adversarial attacks?: poster abstract

Hemant Rathore, Sanjay K. Sahay, Mohit Sewak

2020 International Conference on Embedded Networked Sensor Systems | November 2020

Publication

Assessment of the Relative Importance of different hyper-parameters of LSTM for an IDS

Mohit Sewak, Sanjay K. Sahay, Hemant Rathore

2020 IEEE Region 10 Conference | November 2020

Publication

HACL×N: Verified Generic SIMD Crypto (for all your favourite platforms)

Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin

ACM Conference on Computer and Communications Security (CCS) | November 2020

Access Project

Event

Microsoft at CCS 2020

November 9, 2020 – November 13, 2020 | Virtual/Online

Microsoft is proud to be a gold sponsor of the ACM Conference on Computer and Communications Security. See our contributions to the event this year.

Publication

Analyzing Information Leakage of Updates to Natural Language Models

Santiago Zanella-Béguelin, Lukas Wutschitz, Shruti Tople, Victor Ruehle, Andrew Paverd, Olga Ohrimenko, Boris Köpf, Marc Brockschmidt

ACM Conference on Computer and Communication Security (CCS) | November 2020

Project

Publication

The Seven Properties of Highly Secured Devices (2nd Edition)

Galen Hunt, George Letey, Edmund B Nightingale

MSR-TR-2020-41 | November 2020

Published by Microsoft

Project

Video

CDO roundtable: Generating business value through data quality

November 5, 2020 | Juan M. Lavista Ferres

Effective data management and analysis requires trustworthy data in order to meet the business’ need for relevant insights. The true value of implemented solutions will remain unrealized if core data quality is a concern. In…

01:01:54

Publication

Blockene: A High-throughput Blockchain Over Mobile Devices

Sambhav Satija, Apurv Mehra, Sudheesh Singanamalla, Karan Grover, Muthian Sivathanu, Nishanth Chandran, Divya Gupta, Satya Lokam

OSDI 2020 | November 2020

Project

Security, privacy, and cryptography

Highlights