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

Event

Research Summit 2022

October 18, 2022 – October 20, 2022 | Virtual

Microsoft Research Summit 2022, held October 18-20, 2022, explores what’s next for technology and humanity.

Microsoft Research Summit 2022 background tile pattern

Video

Microsoft Research 2022 Global PhD Fellowship Recipients

October 13, 2022 | Kangle Deng, Paulo Freitas de Araujo Filho, Simla Harma, Hugo Lefeuvre, Yuji Roh, Hasnae Zerouaoui, Yijia Zhang, Ge Zhang

Meet some of 2022 Microsoft Research PhD Fellowship recipients from around the world. The Microsoft Research PhD Fellowship is a global program that identifies and empowers the next generation of exceptional computing research talent. Microsoft…

03:08

Video

Working Towards a Plural Public via Common Knowledge and Designated Verifier Proofs

October 12, 2022 | Shrey Jain

Often cited virtues of blockchains are immutability, transparency, decentralization, openness, and trustlessness. Many also think of their most natural applications as financial. Yet a critical affordance of such systems is often missed: the way they…

26:13

Video

SIKE Channels – zero value side-channel attacks on SIKE

October 10, 2022 | Novak Kaluđerović

We present new side-channel attacks on SIKE. Previous works had shown that SIKE is vulnerable to differential power analysis and pointed to coordinate randomization as an effective countermeasure. We show that coordinate randomization alone is…

57:55

Publication

MACE: A Flexible Framework for Membership Privacy Estimation in Generative Models

Yixi Xu, Sumit Mukherjee, Xiyang Liu, Shruti Tople, Rahul Dodhia, Juan M. Lavista Ferres

Transactions on Machine Learning Research (TMLR) | October 2022

Project Project

Publication

It’s not easy to relax: liveness in chained BFT protocols

Ittai Abraham, Natacha Crooks, Neil Giridharan, Heidi Howard, Florian Suri-Payer

International Symposium on Distributed Computing (DISC) | October 2022

Brief Announcement

Project

Project Origin

Project Origin aims to create a measure of accountability through provenance. By certifying the source of the content like a watermark, we can safeguard against manipulation.

Microsoft Research Blog

Microsoft Research Summit 2022: What’s Next for Technology and Humanity?

September 14, 2022 | Ashley Llorens

Today, we are experiencing waves of breakthroughs in computing that are transforming just about every aspect of our lives. Artificial intelligence is changing the way we develop and create. Human language technologies are revolutionizing the…

Microsoft Research Blog

CCF: Bringing efficiency and usability to a decentralized trust model

September 14, 2022 | CCF Team

Online trust has come a long way since the time of centralized databases, where information was concentrated in one location and the security and validation of that information relied on a core set of people…

Publication

Pagoda: Towards Binary Code Privacy Protection with SGX-based Execute-Only Memory

Jiyong Yu, Xinyang Ge, Trent Jaeger, Christopher W. Fletcher, Weidong Cui

IEEE International Symposium on Secure and Private Execution Environment Design (SEED) | September 2022

Security, privacy, and cryptography

Highlights