Security, privacy, and cryptography

Publication

AUTOCRYPT: Enabling Homomorphic Computation on Servers to Protect Sensitive Web Content

Shruti Tople, Shweta Shinde, Zhaofeng Chen, Prateek Saxena

Computer and Communications Security (CCS 2013) | November 2013

Publication

Verifying computations with state

Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, Michael Walfish

Symposium on Operating Systems Principles (SOSP) | November 2013

Publication

Early Security Classification of Skype Users via Machine Learning

Anna Leontjeva, Moises Goldszmidt, Yinglian Xie, Fang Yu, Martin Abadi

2013 ACM Workshop on Artificial Intelligence and Security | November 2013

Publication

Proving Memory Safety of the ANI Windows Image Parser using Compositional Exhaustive Testing

Maria Christakis, Patrice Godefroid

MSR-TR-2013-120 | November 2013

Publication

Protecting Sensitive Web Content from Client-side Vulnerabilities with CRYPTONs

Xinshu Dong, Zhaofeng Chen, Hossein Siaditi, Shruti Tople, Prateek Saxena, Zhenkai Liang

Computer and Communications Security (CCS 2013) | November 2013

Publication

Connected and Concerned: Variation in Parents’ Online Safety Concerns

danah boyd, Eszter Hargittai

Policy & Internet | October 2013

Publication

A TPM Diffie-Hellman Oracle

Tolga Acar, Greg Zaverucha, Lan Nguyen

MSR-TR-2013-105 | October 2013

Video

MSRNE 5th Anniversary Symposium – Society, Politics and the Algorithm: Social Science in the Lab

October 8, 2013 | Tarleton Gillespie, Andres Monroy Hernandez, and Gina Neff

In this session we will hear talks from three leading researchers who study the social contexts of information technologies. They will highlight the way in which big data, algorithms and social media play a role…

Tarleton Gillespie et al. posing for the camera

01:04:12

Video

Microsoft Research New England: An introduction

October 7, 2013

Microsoft Research New England focuses on interdisciplinary work, integrating the more mathematical and algorithmic sciences with both the social sciences and aspects of the biomedical sciences. Our work includes applied projects in areas such as…

03:25

Publication

Elliptic and Hyperelliptic Curves: a Practical Security Analysis

Joppe Bos, Craig Costello

MSR-TR-2013-101 | October 2013

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

AUTOCRYPT: Enabling Homomorphic Computation on Servers to Protect Sensitive Web Content

Verifying computations with state

Early Security Classification of Skype Users via Machine Learning

Proving Memory Safety of the ANI Windows Image Parser using Compositional Exhaustive Testing

Protecting Sensitive Web Content from Client-side Vulnerabilities with CRYPTONs

Connected and Concerned: Variation in Parents’ Online Safety Concerns

A TPM Diffie-Hellman Oracle

MSRNE 5th Anniversary Symposium – Society, Politics and the Algorithm: Social Science in the Lab

Microsoft Research New England: An introduction

Elliptic and Hyperelliptic Curves: a Practical Security Analysis

Security, privacy, and cryptography

Highlights