Security, privacy, and cryptography

Publication

U-Prove Inequality Proof Extension

Mira Belenkiy

MSR-TR-2014-87 | June 2014

Publication

TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones

William Enck, Peter Gilbert, Seungyeop Han, Vasant Tendulkar, Byung-Gon Chun, Landon Cox, Jaeyeon Jung, Patrick McDaniel, Anmol N. Sheth

Transactions on Computer Systems | June 2014

2020 SIGOPS Hall of Fame Award

SIGOPS Hall of Fame Award

Publication

Captcha as Graphical Passwords””A New Security Primitive Based on Hard AI Problems

Bin Benjamin Zhu, Jeff Yan, Guanbo Bao, Maowei Yang, Ning Xu

IEEE Transactions on Information Forensics and Security | June 2014, Vol 9: pp. 891-904

Publication

Private Computation on Encrypted Genomic Data

Kristin Lauter, , Michael Naehrig

MSR-TR-2014-93 | June 2014

Project

Publication

U-Prove Set Membership Proof Extension

Mira Belenkiy

MSR-TR-2014-89 | June 2014

Project

Publication

FUD: A Plea for Intolerance

Dinei Florencio, Cormac Herley, Adam Shostack

Communications ACM | June 2014

Publication

U-Prove Collaborative Issuance Extension

Christian Paquin, Greg Zaverucha

MSR-TR-2014-84 | June 2014

Project

Publication

U-Prove Bit Decomposition Extension

Mira Belenkiy

MSR-TR-2014-83 | June 2014

Project

Publication

The Anxieties of Big Data

Kate Crawford

The New Inquiry | May 2014

Publication

Jacobian Coordinates on Genus 2 Curves

Huseyin Hisil, Craig Costello

MSR-TR-2014-76 | May 2014

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

U-Prove Inequality Proof Extension

TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones

Captcha as Graphical Passwords””A New Security Primitive Based on Hard AI Problems

Private Computation on Encrypted Genomic Data

U-Prove Set Membership Proof Extension

FUD: A Plea for Intolerance

U-Prove Collaborative Issuance Extension

U-Prove Bit Decomposition Extension

The Anxieties of Big Data

Jacobian Coordinates on Genus 2 Curves

Security, privacy, and cryptography

Highlights