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

Video

Can technology and privacy be friends at last?

April 21, 2011 | George Danezis, Simon Peyton Jones

Abstract: It seems that technological IT advances inevitably degrade one’s privacy: convenient infrastructures such as mobile phones and social networks are turned into mass surveillance mechanisms; new business models based on targeted advertising and personalized…

George Danezis wearing glasses and smiling at the camera

Video

Bug and Malware Detection on a Web Scale

April 15, 2011 | Engin Kirda, Ben Livshits, Judith Bishop

Publication

SSLShader: Cheap SSL Acceleration with Commodity Processors

Keon Jang, Sangjin Han, Seungyeop Han, Sue Moon, KyoungSoo Park

Proceedings of the 8th USENIX conference on Networked systems design and implementation | April 2011

Publication

Omnify: Investigating the Visibility and Effectiveness of Copyright Monitors

Rahul Potharaju, Jeff Seibert, Sonia Fahmy, Cristina Nita-Rotuaru

Passive and Active Measurements (PAM) | April 2011

Publication

ARROW: GenerAting SignatuRes to Detect DRive-By DOWnloads

Junjie Zhang, Christian Seifert, Jack W. Stokes, Wenke Lee

2011 The Web Conference | March 2011

Publication

Decision Procedures for Composition and Equivalence of Symbolic Finite State Transducers

Margus Veanes, David Molnar, Ben Livshits

MSR-TR-2011-32 | March 2011

Publication

Homomorphic Proofs and Applications

Tolga Acar, Lan Nguyen

Public Key Cryptography (PKC 2011) | March 2011

Public Key Cryptography (PKC 2011)

Publication

Roles, Stacks, Histories: A Triple for Hoare

Johannes Borgström, Andy Gordon, Riccardo Pucella

Journal of Functional Programming | March 2011, Vol 21(2): pp. 159-207

Publication

Heat-seeking Honeypots: Design and Experience

John P. John, Fang Yu, Yinglian Xie, Arvind Krishnamurthy, Martin Abadi

WWW 2011 | March 2011

Publication

Link Prediction by De-anonymization: How We Won the Kaggle Social Network Challenge

Arvind Narayanan, Elaine Shi, Benjamin Rubinstein

Proceedings of the 2011 International Joint Conference on Neural Networks (IJCNN) | February 2011

Your Privacy Choices