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

Video

Modern Computer Arithmetic

June 12, 2009 | Paul Zimmermann

This talk is about a book in progress with Richard Brent (ANU, Canberra, Australia). “Modern Computer Arithmetic” collects in the same document all state-of-the-art algorithms in multiple precision arithmetic (integers, integers modulo n, floating-point numbers).…

01:09:41

Publication

Probabilistic Event Resolution with the Pairwise Random Protocol

John Miller, Jon Crowcroft

NOSSDAV ’09: Proceedings of the 19th International Workshop on Network and Operating Systems Support for Digital Audio and Video | June 2009

Video

Supersingular abelian varieties and modular forms

June 3, 2009 | Tomoyoshi Ibukiyama

We give a survey on old and new results on relations between geometric invariants of principally polarized supersingular abelian varieties and arithmetic invariants of quaternion hermitian forms (such as the numbers of polarizations and irreducible…

a person wearing glasses and smiling at the camera

01:03:46

Publication

Privacy Integrated Queries

Frank McSherry

Proceedings of the 2009 ACM SIGMOD International Conference on Management of Data (SIGMOD) | June 2009

For more information, visit the project page: http://research.microsoft.com/PINQ.

Project Project

Publication

Differentially Private Recommender Systems: Building Privacy into the Netflix Prize Contenders

Ilya Mironov, Frank McSherry

Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD) | June 2009

Project

Publication

Merlin: Specification Inference for Explicit Information Flow Problems

Ben Livshits, Aditya Nori, Sriram Rajamani, Anindya Banerjee

ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI) | June 2009

Publication

Measuring the Loss of Privacy from Statistics

Michael C. Tschantz, Aditya Nori

Workshop on Quantitative Analysis of Software | June 2009

Publication

On Cryptography with Auxiliary Input

Yevgeniy Dodis, Yael Tauman Kalai, Shachar Lovett

STOC ’09: Proceedings of the 41st annual ACM symposium on Theory of computing | May 2009

Microsoft Research Blog

New England Researcher Finds Her Bliss

May 14, 2009

By Rob Knies, Managing Editor, Microsoft Research Even now, almost a year after joining Microsoft Research New England, Yael Tauman Kalai can hardly believe her good fortune. “Really, really awesome,” enthuses Kalai, 34, about her…

Publication

Differential Privacy and Robust Statistics

Cynthia Dwork

Proceedings of the 41th Annual ACM Symposium on Theory of Computing (STOC) | May 2009

Proceedings of the 41th Annual ACM Symposium on Theory of Computing (STOC)

Project Project

Security, privacy, and cryptography

Highlights