Security, privacy, and cryptography

Publication

StopGuessing: Using Guessed Passwords to Thwart Online Guessing

MSR-TR-2016-3038 | August 2016

Publication

Blind Web search: How far are we from a privacy preserving search engine?

Gizem S. Çetin, Wei Dai, Yarkın Doröz, William J. Martin, Berk Sunar

August 2016

Publication

Efficient Algorithms for Supersingular Isogeny Diffie-Hellman

Craig Costello, Patrick Longa, Michael Naehrig

Advances in Cryptology – CRYPTO, 36th Annual International Conference on Cryptology, Santa Barbara | August 2016

Project Project Project

Publication

Efficient zero-knowledge proof of algebraic and non-algebraic statements with applications to privacy preserving credentials

Melissa Chase, Chaya Ganesh, Payman Mohassel

August 2016

Crypto 2016

Publication

Privacy-preserving Class Ratio Estimation

Arun Iyer, Saketha Nath, Sunita Sarawagi

Knowledge Discovery and Data Mining (KDD) | August 2016

Publication

fTPM: A Software-only Implementation of a TPM Chip

Himanshu Raj, Stefan Saroiu, Alec Wolman, Ronald Aigner, Jeremiah Cox, Paul England, Chris Fenner, Kinshuman Kinshumann, Jork Loeser, Dennis Mattoon, Magnus Nystrom, David Robinson, Rob Spiger, Stefan Thom, David Wooten

USENIX Security | August 2016

Publication

fTPM: A Software-only Implementation of a TPM Chip

Himanshu Raj, Stefan Saroiu, Alec Wolman, Ronald Aigner, Jeremiah Cox, Paul England, Chris Fenner, Kinshuman Kinshumann, Jork Loeser, Dennis Mattoon, Magnus Nystrom, David Robinson, Rob Spiger (CELA), Stefan Thom, David Wooten

USENIX Security | August 2016

Publication

Authenticated Network Time Synchronization

Benjamin Dowling, Douglas Stebila, Greg Zaverucha

USENIX Security 2016 | August 2016

Microsoft Research Blog

Microsoft researchers enable secure data exchange in the cloud

August 9, 2016

By John Roach, Writer, Microsoft Research In the future, machine learning algorithms may examine our genomes to determine our susceptibility to maladies such as heart disease and cancer. Between now and then, computer scientists need…

Ran Gilad-Bachrach & Jeannette M. Wing on stage

Publication

Security considerations for Galois non-dual RLWE families

Kristin Lauter, Katherine E. Stange, Hao Chen

SAC conference 2016 | August 2016

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

StopGuessing: Using Guessed Passwords to Thwart Online Guessing

Blind Web search: How far are we from a privacy preserving search engine?

Efficient Algorithms for Supersingular Isogeny Diffie-Hellman

Efficient zero-knowledge proof of algebraic and non-algebraic statements with applications to privacy preserving credentials

Privacy-preserving Class Ratio Estimation

fTPM: A Software-only Implementation of a TPM Chip

fTPM: A Software-only Implementation of a TPM Chip

Authenticated Network Time Synchronization

Microsoft researchers enable secure data exchange in the cloud

Security considerations for Galois non-dual RLWE families

Security, privacy, and cryptography

Highlights