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

Private AI Bootcamp Welcome Keynote – Kristin Lauter

December 2, 2019 | Kristin Lauter

The Private AI Bootcamp offered by Microsoft Research (MSR) focused on tutorials of building privacy-preserving machine learning services and applications with homomorphic encryption (HE). Around 30 PhD students were invited to gather at the Microsoft…

0:36:04

Event

Private AI Bootcamp

December 2, 2019 – December 4, 2019 | Redmond, Washington, USA

Microsoft Research Private AI Bootcamp focused on how to build privacy-preserving machine learning services and applications with homomorphic encryption

Security, Privacy & Cryptography research area

Video

Private AI Bootcamp Keynote – Sreekanth Kannepalli

December 2, 2019 | Sreekanth Kannepalli

Sreekanth Kannepalli giving keynote at Microsoft Research's Private AI Bootcamp

0:13:54

Publication

Collaborative Machine Learning Markets

Olga Ohrimenko, Shruti Tople , Sebastian Tschiatschek

Smooth Games Optimization (NeurIPS Workshop) | December 2019

Publication

Dual Isogenies and Their Application to Public-key Compression for Isogeny-based Cryptography

Michael Naehrig, Joost Renes

Advances in Cryptology – ASIACRYPT 2019 | December 2019

Project

Publication

ScriptNet: Neural Static Analysis for Malicious JavaScript Detection

Jack W. Stokes, Rakshit Agrawal, Geoff McDonald, Matthew Hausknecht

IEEE Military Communications Conference (MILCOM) | November 2019

Project

Publication

Neural Malware Control with Deep Reinforcement Learning

Yu Wang, Jack W. Stokes, Mady Marinescu

IEEE Military Communications Conference (MILCOM) | November 2019

Project

Publication

Efficient Multi-Key Homomorphic Encryption with Packed Ciphertexts with Application to Oblivious Neural Network Inference

Hao Chen, Wei Dai, Miran Kim, Yongsoo Song

2019 ACM SIGSAC Conference on Computer and Communications Security | November 2019

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

Security, privacy, and cryptography

Highlights