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

Publication

Secret Sharing Homomorphisms: Keeping Shares of a Secret Secret

Crypto ’86 | January 1987

Publication

Distributing the Power of a Government to Enhance the Privacy of Voters

Josh Benaloh, Moti Yung

Principles of Distributed Computing | August 1986

Publication

Cryptographic Capsules: A Disjunctive Primitive for Interactive Protocols

Crypto ’86 | August 1986

Publication

A Global Authentication Service without Global Trust

Andrew Birrell, Butler Lampson, Roger Needham, Mike Schroeder

IEEE Symposium on Security and Privacy | April 1986

Test of Time Award (The First Fifteen Years), 40th IEEE Symposium on Security and Privacy

Publication

A Robust and Verifiable Cryptographically Secure Election Scheme

Josh Benaloh, Michael J. Fischer

Proceedings of 26th Symposium on Foundations of Computer Science | September 1985

Publication

Engineering a security kernel for Multics

Mike Schroeder

Proceedings of the 5th ACM Symposium on Operating Systems Principles | October 1975