Security, privacy, and cryptography

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 Range Proof Extension

Mira Belenkiy

MSR-TR-2014-88 | June 2014

Project

Publication

U-Prove Inequality Proof Extension

Mira Belenkiy

MSR-TR-2014-87 | June 2014

Project

Publication

U-Prove Bit Decomposition Extension

Mira Belenkiy

MSR-TR-2014-83 | June 2014

Project

Publication

Querying Encrypted Data (Tutorial)

Arvind Arasu, Ken Eguro, Raghav Kaushik, Ravi Ramamurthy

2014 ACM SIGMOD Conference | June 2014

Publication

U-Prove Equality Proof Extension

Mira Belenkiy

MSR-TR-2014-86 | June 2014

Project

Publication

Private Computation on Encrypted Genomic Data

Kristin Lauter, , Michael Naehrig

MSR-TR-2014-93 | June 2014

Project

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

U-Prove Collaborative Issuance Extension

Christian Paquin, Greg Zaverucha

MSR-TR-2014-84 | June 2014

Project

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

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

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

U-Prove Range Proof Extension

U-Prove Inequality Proof Extension

U-Prove Bit Decomposition Extension

Querying Encrypted Data (Tutorial)

U-Prove Equality Proof Extension

Private Computation on Encrypted Genomic Data

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

U-Prove Collaborative Issuance Extension

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

Security, privacy, and cryptography

Highlights