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

People

Published Date

Publication

MACER: Attack-free and Scalable Robust Training via Maximizing Certified Radius

Runtian Zhai, Chen Dan, Di He, Huan Zhang, Boqing Gong, Pradeep Ravikumar, Cho-Jui Hsieh, Liwei Wang

Eighth International Conference on Learning Representations (ICLR) | April 2020

Publication

AI is an Ideology, Not a Technology

Jaron Lanier, E. Glen Weyl

WIRED | March 2020

Publication

“I Don’t Want Someone to Watch Me While I’m Working”: Gendered Views of Facial Recognition Technology in Workplace Surveillance

Luke Stark, Amanda Stanhaus, Denise L. Anthony

Journal of the Association for Information Science and Technology | March 2020

Video

The next generation of developer tools for data programming

March 9, 2020 | Ben Zorn

Traditional software development activities (like editing, testing, debugging, and others) often need to be carried out by individuals who are not typical software developers. Tools as diverse as spreadsheets, Jupyter notebooks, and deep learning frameworks…

a man with a laptop and smiling at the camera

59:02

Tool

Kuku

Kuku is a simple open-source (MIT licensed (opens in new tab)) cuckoo hashing library developed by the Cryptography and Privacy Research group at Microsoft. Kuku is written in modern standard C++ and has no external…

GitHub

Webinar

The next generation of developer tools for data programming webinar

March 9, 2020 | Virtual/Online

In this webinar led by Partner Researcher Dr. Ben Zorn, follow the path of the revolution that empowers more people to easily leverage computational resources for problem solving. You will examine the incredible opportunities and technical…

Publication

HEAX: An Architecture for Computing on Encrypted Data

M. Sadegh Riazi, Kim Laine, Blake Pelton, Wei Dai

2020 Architectural Support for Programming Languages and Operating Systems | March 2020

Microsoft Research Blog

A brief introduction to fuzzing and why it’s an important tool for developers

March 4, 2020 | Patrice Godefroid

In the February 2020 issue of Communications of the ACM, Microsoft researcher Patrice Godefroid published a new review article entitled “Fuzzing: Hack, Art, and Science,” which presents an overview of the main automated testing techniques…

Project

Post-Quantum Crypto Tunnel to the Underwater Datacenter

We’ve taken some of the traffic traveling between the Natick underwater datacenter located off the coast of Scotland and Microsoft Research headquarters in Redmond, Washington, USA, and secured that traffic with an encrypted network tunnel…

Publication

Privacy Norms and Preferences for Photos Posted Online

Roberto Hoyle, Luke Stark, Qatrunnada Ismail, David Crandall, Apu Kapadia, Denise Anthony

ACM Transactions on Computer-Human Interaction | March 2020

Security, privacy, and cryptography

Highlights