Security, privacy, and cryptography

Publication

Inverse Privacy

Yuri Gurevich, Efim Hudis, Jeannette Wing

MSR-TR-2014-100 | July 2014

Project

MSR Elliptic Curve Cryptography Library

MSR ECCLib was an efficient cryptography library that provided functions for computing essential elliptic curve operations on a new set of high-security curves. All computations on secret data exhibit regular, constant-time execution, providing protection against…

Publication

Missive: Fast Application Launch From an Untrusted Buffer Cache

Jon Howell, Jeremy Elson, Bryan Parno, John (JD) Douceur

Annual Technical Conference | June 2014

Project

MSR JavaScript Cryptography Library

The MSR JavaScript Cryptography Library has been migrated to GitHub. The latest version, v1.6.0, is available here: https://github.com/microsoft/MSR-JavaScript-Crypto The MSR JavaScript Cryptography Library has been developed for use with cloud services in an HTML5 compliant and…

Publication

Hacking the Planet, the Dalai Lama, and You: Managing Technical Vulnerabilities in the Internet Through Polycentric Governance

A. Craig, Scott J. Shackelford

June 2014

Publication

Blowfish Privacy: Tuning Privacy-Utility Trade-offs using Policies

Xi He, Ashwin Machanavajjhala, Bolin Ding

Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD 2014) | June 2014

Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD 2014)

Publication

U-Prove Equality Proof Extension

Mira Belenkiy

MSR-TR-2014-86 | June 2014

Project

Publication

Querying Encrypted Data (Tutorial)

Arvind Arasu, Ken Eguro, Raghav Kaushik, Ravi Ramamurthy

2014 ACM SIGMOD Conference | June 2014

Publication

Layout Randomization and Nondeterminism

Martin Abadi, Jeremy PLanul, Gordon D. Plotkin

Horizons of the Mind. A Tribute to Prakash Panangaden – Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday | Published by Springer | 2014 | Horizons of the Mind. A Tribute to Prakash Panangaden — Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday edition

Publication

U-Prove Range Proof Extension

Mira Belenkiy

MSR-TR-2014-88 | June 2014

Project

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

Inverse Privacy

MSR Elliptic Curve Cryptography Library

Missive: Fast Application Launch From an Untrusted Buffer Cache

MSR JavaScript Cryptography Library

Hacking the Planet, the Dalai Lama, and You: Managing Technical Vulnerabilities in the Internet Through Polycentric Governance

Blowfish Privacy: Tuning Privacy-Utility Trade-offs using Policies

U-Prove Equality Proof Extension

Querying Encrypted Data (Tutorial)

Layout Randomization and Nondeterminism

U-Prove Range Proof Extension

Security, privacy, and cryptography

Highlights