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

Video

In Data we Trust? – or do we? | SIBC 2019 | Santander Bank

November 5, 2019 | E. Glen Weyl

XII Santander International Banking Conference 2019 ‘Banking on trust’. 5th November 2019 In Data we Trust? – or do we? E. Glen Weyl, Founder of the RadicalxChange Foundation and Microsoft’s Office of the Chief Technology…

12:33

Publication

SEEMless: Secure End-to-End Encrypted Messaging with less Trust

Melissa Chase, Apoorvaa Deshpande, Esha Ghosh, Harjasleen Malvai

2019 Computer and Communications Security | November 2019

Github

Publication

Locally Private Gaussian Estimation

Matthew Joseph, Janardhan (Jana) Kulkarni, Jieming Mao, Zhiwei Steven Wu

November 2019

Project

Publication

RESTler: Stateful REST API Fuzzing

Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk

ICSE 2019 | November 2019

Video Github

Publication

Intelligent REST API Data Fuzzing

Patrice Godefroid, Bo-Yuan Huang, Marina Polishchuk

MSR-TR-2019-37 | November 2019

Published by Microsoft

Revised version published in ESEC/FSE'2020, November 2020.

Github

Publication

Detection of Prevalent Malware Families with Deep Learning

Jack W. Stokes, Christian Seifert, Jerry Li, Nizar Hejazi

2019 Military Communications Conference | October 2019

Project

Video

Our intern experience at Microsoft Research Cambridge

October 25, 2019 | Jayesh Gupta, Sheena Panthaplackel, Niranjani Prasad, Pablo Wilke Berenguer

Find out what it’s like to be an intern at the Microsoft Research lab in Cambridge, UK. Find out more and apply at: https://aka.ms/MSRCambridgeIntern

interns on the lawn of Microsoft Research Cambridge

0:03:38

Video

Working at Microsoft Research Cambridge

October 25, 2019 | Chris Bishop, Abigail Sellen, Ant Rowstron, Aditya Nori, Haiyan Zhang, Manuel Costa, Andrew Fitzgibbon

Here at Microsoft Research in Cambridge, we truly aspire to transform the world through deep research. Watch the video to find out more about our culture, ambition and research themes. Find out more at: https://aka.ms/MSRCambridge

Aditya Nori working on Healthcare Intelligence at Microsoft Research Cambridge

0:05:06

Publication

Oblivious Differential Privacy Poster

October 2019

https://arxiv.org/pdf/1807.00736.pdf

Project

Tool

HACL*

A High-Assurance Cryptographic Library (HACL*), a formally verified cryptographic library written in F*. This repository contains verified code for a library of modern cryptographic algorithms, including Curve25519, Ed25519, AES-GCM, Chacha20, Poly1305, SHA-2, SHA-3, HMAC, and…

GitHub Publication

Security, privacy, and cryptography

Highlights