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

Milk or Wine: Does Software Security Improve with Age?

Andy Ozment, Stuart Schechter

Proceedings of the 15th USENIX Security Symposium | July 2006

Proceedings of the 15th USENIX Security Symposium

Publication

Differential Privacy

Cynthia Dwork

33rd International Colloquium on Automata, Languages and Programming, part II (ICALP 2006) | July 2006

33rd International Colloquium on Automata, Languages and Programming, part II (ICALP 2006)

ISBN: 3-540-35907-9

Publication

Password Rescue: A New Approach to Phishing Prevention

Dinei Florencio, Cormac Herley

July 2006

Publication

Simple Verifiable Elections

Proceedings of the 2006 Electronic Voting Technology Workshop | June 2006

Publication

A Multi-Resolution Approach For Worm Detection and Containment

Yinglian Xie

IEEE/IFIP DSN 2006, Philadelphia, PA | June 2006

Tool

TulaFale: A Security Tool for Web Services

TulaFale is a new specification language for writing machine-checkable descriptions of SOAP-based security protocols and their properties. TulaFale is based on the pi calculus (for writing collections of SOAP processors running in parallel), plus XML…

Publication

Searchable Symmetric Encryption: Improved Definitions and Efficient Constructions

R. Curtmola, J. Garay, Seny Kamara, R. Ostrovsky

13th ACM Conference on Computer and Communications Security (CCS ’06) | May 2006

Publication

Detecting Spam Web Pages Through Content Analysis

Alexandros Ntoulas, Marc Najork, Mark Manasse, Dennis Fetterly

15th International World Wide Web Conference (WWW) | May 2006

Publication

Analyzing and Improving Anti-Phishing Schemes

Dinei Florencio, Cormac Herley

May 2006

Publication

SubVirt: Implementing malware with virtual machines

Samuel T. King, Peter M. Chen, Yi-Min Wang, Chad Verbowski, Helen Wang, Jay Lorch

Proceedings of the 2006 IEEE Symposium on Security and Privacy | May 2006