Security, privacy, and cryptography

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

Project

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

Publication

Differentially Private Billing with Rebates

George Danezis, Markulf Kohlweiss, Alfredo Rial,

MSR-TR-2011-10 | February 2011

Project

Publication

Memoir—Formal Specs and Correctness Proofs

John (JD) Douceur, Jay Lorch, Bryan Parno, James Mickens, Jonathan M. McCune

MSR-TR-2011-19 | February 2011

Publication

Information leakage in Datalog-based trust management systems

Mo Becker, Masoud Koleini

MSR-TR-2011-11 | February 2011

Security, privacy, and cryptography

Leveraging Large Language Models for Automated Proof Synthesis in Rust

Intern Insights: Dr. Josh Benaloh with Anunay Kulshrestha and Karan Newatia

Closed-Form Bounds for DP-SGD against Record-level Inference

ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos

Omnify: Investigating the Visibility and Effectiveness of Copyright Monitors

ARROW: GenerAting SignatuRes to Detect DRive-By DOWnloads

Decision Procedures for Composition and Equivalence of Symbolic Finite State Transducers

Homomorphic Proofs and Applications

Roles, Stacks, Histories: A Triple for Hoare

Heat-seeking Honeypots: Design and Experience

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

Differentially Private Billing with Rebates

Memoir—Formal Specs and Correctness Proofs

Information leakage in Datalog-based trust management systems

Security, privacy, and cryptography

Highlights