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

Key Compression and its Application to Digital Fingerprinting

MSR-TR-2001-121 | April 2001

Published by Microsoft

Publication

Practical Byzantine Fault Tolerance

Miguel Castro

January 2001

PhD Thesis: Massachusetts Institute of Technology | January 2001

George M. Sprowls Award

Publication

Constructing elliptic curves with a given number of points over a finite field

Amod Agashe, Kristin Lauter, Ramarathnam Venkatesan

Fields Insitute Communications Series, Volume 42, High Primes and Misdemeanours: lectures in honour of the 60th birthday of Hugh Cowie Williams | January 2001

Publication

A Note on Cryptanalysis of the Preliminary Version of the NTRU Signature Scheme

Ilya Mironov

January 2001

Publication

Improved Online/Offline Signature Schemes

Adi Shamir, Yael Tauman Kalai

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

Publication

How to Leak a Secret

Ronald L. Rivest, Adi Shamir, Yael Tauman Kalai

Proceedings of the 7th International Conference on the Theory and Application of Cryptology and Information Security: Advances in Cryptology | January 2001

Publication

Mobile Values, New Names, and Secure Communication

Martın Abadi, Cédric Fournet

28th ACM Symposium on Principles of Programming Languages (POPL’01) | January 2001

Publication

Computer Security in the Real World

Annual Computer Security Applications Conference | December 2000

ISBN 0-7695-0859-6. Slides

Publication

Robust Image Hashing

Ramarathnam Venkatesan, S.-M. Koon, Mariusz Jakubowski, P. Moulin

IEEE International Conference on Image Processing: ICIP 2000 | September 2000

Publication

Secrecy and Group Creation

Luca Cardelli, Giorgio Ghelli, Andy Gordon

CONCUR ’00 Proceedings of the 11th International Conference on Concurrency Theory | August 2000

ISBN: 3-540-67897-2