illustration of lock, four asterisks and a shield with a fingerprint on it on a green gradient background

Security, privacy, and cryptography

lock icon on green background

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

MSR Systems Networking Graphic

ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos

Current selections

Sort by: Most recent

Clear selections

Microsoft Research Blog

Microsoft Research New England’s Focus: Research Relationships

February 4, 2008

By Rob Knies, Managing Editor, Microsoft Research On Feb. 4, Microsoft Research unveiled its latest lab, to be called Microsoft Research New England and to be based in Cambridge, Mass., in the midst of the…

Video

Predicting Secret Keys via Branch Prediction

February 4, 2008 | Cetin Kaya Koc

We give an overview of a new software side-channel attack, enabled by the branch prediction capability common to all modern high-performance CPUs. The penalty paid (extra clock cycles) for a miss-predicted branch can be used…

a person in a suit and tie

Publication

A Survey of Anonymous Communication Channels

George Danezis, Claudia Diaz

MSR-TR-2008-35 | February 2008

Publication

How to Encrypt with a Malicious Random Number Generator

Seny Kamara, Jonathan Katz

15th Annual IACR workshop on Fast Software Encryption (FSE ’08) | February 2008

Publication

How to Encrypt with a Malicious Random Number Generator

Seny Kamara, Jonathan Katz

15th Annual IACR workshop on Fast Software Encryption (FSE ’08) | February 2008

Publication

How to Encrypt with a Malicious Random Number Generator

Seny Kamara, Jonathan Katz

IACR workshop on Fast Software Encryption (FSE ’08) | February 2008

Publication

Cryptographically Sound Implementations for Typed Information-Flow Security

Cédric Fournet, Tamara Rezk

35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’08) | January 2008

Publication

One-Time Programs

Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum

Advances in Cryptology – CRYPTO 2008: Lecture Notes in Computer Science | January 2008

Publication

Interactive PCP 2008

Yael Tauman Kalai, Ran Raz

Automata, Languages and Programming; Lecture Notes in Computer Science, 2008 | January 2008

Publication

Randomizable Proofs and Delegatable Anonymous Credentials

Mira Belenkiy, Jan Camenisch, Melissa Chase, Markulf Kohlweiss, Anna Lysyanskaya, Hovav Shacham

CRYPTO 2009 | January 2008