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

Revizor: Testing Black-box CPUs against Speculation Contracts

Oleksii Oleksenko, Christof Fetzer, Boris Köpf, Mark Silberstein

27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ’22) | March 2022

IEEE MICRO Top Pick

Video Video Github Project

Publication

Private Convex Optimization via Exponential Mechanism

Sivakanth Gopi, Yin Tat Lee, Daogao Liu

COLT 2022 | March 2022

Project

Publication

The Price of Secrecy: How Hiding Internal DRAM Topologies Hurts Rowhammer Defenses

Stefan Saroiu, Alec Wolman, Lucian Cojocar

2022 International Reliability Physics Symposium | February 2022

Project

Publication

‘Ice phishing’ on the blockchain

Christian Seifert

February 2022

Video

Developer Tech Minutes: SMART Health Cards

February 10, 2022 | Karen Easterbrook

The SMART Health Cards framework is an open specification for an electronic version of a medical record. In this episode, learn about the technology behind SMART Health Cards and how they enable individuals to own…

Allie Raye standing in front of a computer screen

10:29

Microsoft Research Blog

Advancing AI trustworthiness: Updates on responsible AI research

February 1, 2022 | Mihaela Vorvoreanu, Kathy Walker

Inflated expectations around the capabilities of AI technologies may lead people to believe that computers can’t be wrong. The truth is AI failures are not a matter of if but when. AI is a human…

blue graphic with a light honeycomb pattern background featuring a lightbulb in the middle and various icons around it: handshake, eye, connected people, balanced scale, lock, and shield

Microsoft Research Blog

EzPC: Increased data security in the AI model validation process

January 12, 2022 | Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma

From manufacturing and logistics to agriculture and transportation, the expansion of artificial intelligence (AI) in the last decade has revolutionized a multitude of industries—examples include enhancing predictive analytics on the manufacturing floor and making microclimate…

Publication

The long road ahead to transition to post-quantum cryptography

Brian LaMacchia

Communications of the ACM | January 2022, Vol 65(1): pp. 28-30

Publication

CHEX-MIX: Combining Homomorphic Encryption with Trusted Execution Environments for Two-party Oblivious Inference in the Cloud

Deepika Natarajan, Wei Dai

January 2022

Video

Our Genomes, Our Selves?

December 16, 2021 | Dr. Sohini Ramachandran

The initial draft sequence of the human genome, published in 2001, promised to usher the world towards personalized medicine, in which a patient’s genome is used to diagnose, treat, and prevent illness. Almost twenty years…

01:00:19

Security, privacy, and cryptography

Highlights