Security, privacy, & cryptography

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

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

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

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

U-Prove Collaborative Issuance Extension

Christian Paquin, Greg Zaverucha

MSR-TR-2014-84 | June 2014

Project

Security, privacy, & cryptography

Verifying Rust cryptography in SymCrypt, from standards to code

Vega: Zero-knowledge proofs for digital identity in the age of AI

Ire identifies another LOTUSLITE specimen

SocialReasoning-Bench: Measuring whether AI agents act in users’ best interests

Querying Encrypted Data (Tutorial)

U-Prove Equality Proof Extension

Layout Randomization and Nondeterminism

U-Prove Range Proof Extension

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

U-Prove Collaborative Issuance Extension

Security, privacy, & cryptography

Highlights