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

Group

Cryptography, Security, and Applied Mathematics

The Cryptography, Security, and Applied Mathematics (CSAM) group conducts research on theoretical and practical aspects of cryptography, computational complexity, formal approaches to system and software security, data mining and machine learning with applications to security,…

Publication

SPACE: Secure Protocol for Address-Book based Connection Establishment

Ganesh Ananthanarayanan, Ramarathnam Venkatesan, Prasad Naldurg, Sean Blagsvedt, Adithya Hemakumar

ACM HotNets | November 2006

Publication

A Large Scale Study of Web Password Habits

Dinei Florencio, Cormac Herley

MSR-TR-2006-166 | November 2006

Publication

Securing software by enforcing data-flow integrity

Miguel Castro, Manuel Costa, Tim Harris

Symposium on Operating Systems Design and Implementation (OSDI) | November 2006

Publication

Computational Secrecy by Typing for the Pi Calculus

Martin Abadi, Ricardo Corin, Cédric Fournet

Fourth ASIAN Symposium on Programming Languages and Systems (APLAS 2006) | November 2006

Publication

Forensic Analysis for Epidemic Attacks in Federated Networks

Yinglian Xie

the 14th IEEE International Conference on Network Protocols (ICNP 06), Santa Barbara, CA | November 2006

Publication

End-to-End Containment of Internet Worm Epidemics

October 2006

PhD Thesis: University of Cambridge | October 2006

Publication

Cache-Collision Timing Attacks Against AES

Joseph Bonneau, Ilya Mironov

Cryptographic Hardware and Embedded Systems—CHES 2006 | October 2006

Publication

Data Collection With Self-Enforcing Privacy

Philippe Golle, Frank McSherry, Ilya Mironov

ACM Conference on Computer and Communications Security (CCS 2006) | October 2006

Full version to appear in the special issue of TISSEC.

Publication

Proteus: Virtualization for Diversified Tamper-Resistance

Bertrand Anckaert, Mariusz Jakubowski, Ramarathnam Venkatesan

6th ACM Workshop on Digital Rights Management | October 2006