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

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

Publication

Pretty-Bad-Proxy: An Overlooked Adversary in Browsers’ HTTPS Deployments

Shuo Chen, Ziqing Mao, Yi-Min Wang, Ming Zhang

Proceedings of the IEEE Symposium on Security and Privacy (Oakland) | May 2009

Proceedings of the IEEE Symposium on Security and Privacy (Oakland)

Publication

A Public Key Encryption Scheme Secure against Key Dependent Chosen Plaintext and Adaptive Chosen Ciphertext Attacks

Jan Camenisch, Nishanth Chandran, Victor Shoup

Advances in Cryptology – EUROCRYPT 2009, 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings | May 2009

Advances in Cryptology – EUROCRYPT 2009, 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings

ISBN: 978-3-642-01000-2

Publication

On the Complexity of Differentially Private Data Release: Efficient Algorithms and Hardness Results

Cynthia Dwork, Moni Naor, Omer Reingold, Guy Rothblum, Salil Vadhan

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

Security, privacy, and cryptography

Highlights