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

Video

Privacy in the Internet (Without Giving up Everything Else)

March 13, 2017 | David Naylor

“Using the Internet inherently entails privacy risks. Each packet, potentially carrying information that users would rather keep private, is exposed to a network infrastructure operated by a number of third parties the user may not…

Microsoft Research Blog

New Microsoft Research Dissertation Grant provides support to under-represented groups in computing

March 7, 2017

By Dr. Meredith Ringel Morris, Principal Researcher, Microsoft Research I am pleased to announce that Microsoft Research is funding a new academic program, the Microsoft Research Dissertation Grant. This grant program offers selected doctoral students…

Microsoft Research Dissertation Grant Program

Publication

Instantaneous Decentralized Poker

Iddo Bentov, Ranjit Kumaresan, Andrew Miller

February 2017

Publication

Amortizing Secure Computation with Penalties

Ranjit Kumaresan, Iddo Bentov

CCS ’16 Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security | October 2016

ISBN: 978-1-4503-4139-4

Publication

Improvements to Secure Computation with Penalties

Ranjit Kumaresan, Vinod Vaikuntanathan, Prashant Nalini

CCS ’16 Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security | October 2016

ISBN: 978-1-4503-4139-4

Publication

How to Use Bitcoin to Play Decentralized Poker

Ranjit Kumaresan, Tal Moran, Iddo Bentov

CCS ’15 Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security | October 2015

ISBN: 978-1-4503-3832-5

Publication

How to Use Bitcoin to Incentivize Correct Computations

Ranjit Kumaresan, Iddo Bentov

CCS ’14 Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security | November 2014

ISBN: 978-1-4503-2957-6

Publication

How to Use Bitcoin to Design Fair Protocols

Iddo Bentov, Ranjit Kumaresan

Lecture Notes in Computer Science | August 2014

Publication

On the Security of the “Free-XOR” Technique

Seung Geol Choi, Jonathan Katz, Ranjit Kumaresan, Hong-Sheng Zhou

TCC 2012: Theory of Cryptography | March 2012

Publication

Improved OT Extension for Transferring Short Secrets

Vladimir Kolesnikov, Ranjit Kumaresan

Advances in Cryptology – CRYPTO 2013 | August 2013

Your Privacy Choices