Security, privacy, and cryptography

Publication

XRay: Increasing the Web’s Transparency with Differential Correlation

Mathias Lecuyer, Guillaume Ducoffe, Francis Lan, Andrei Papancea, Theoﬁlos Petsios, Riley Spahn, Augustin Chaintreau, Roxana Geambasu

USENIX Security’14 | August 2014

Publication

Towards reliable storage of 56-bit secrets in human memory

Joseph Bonneau, Stuart Schechter

Proceedings of the 23rd USENIX Security Symposium | August 2014

Proceedings of the 23rd USENIX Security Symposium

Publication

Towards reliable storage of 56-bit secrets in human memory (extended version)

Joseph Bonneau, Stuart Schechter

MSR-TR-2014-95 | August 2014

Publication

Telepathwords: Preventing Weak Passwords by Reading Users’ Minds

Saranga Komanduri, Rich Shay, Lorrie Cranor, Cormac Herley, Stuart Schechter

Proceedings of the 23rd USENIX Security Symposium | August 2014

Publication

Amortizing Garbled Circuits

Yan Huang, Jonathan Katz, Vladimir Kolesnikov, Ranjit Kumaresan, Alex J. Malozemoff

Lecture Notes in Computer Science | August 2014

Publication

How to Use Bitcoin to Design Fair Protocols

Iddo Bentov, Ranjit Kumaresan

Lecture Notes in Computer Science | August 2014

Publication

Constructing Abelian Surfaces for Cryptography via Rosenhain Invariants

Craig Costello, Alyson Deines-Schartz, Kristin Lauter, Tonghai Yang

London Mathematical Society Journal of Computational Mathematics | August 2014, Vol 17

Publication

U-Prove extensions

Christian Paquin

MSR-TR-2014-105 | August 2014

Project

Publication

Post-quantum key exchange for the TLS protocol from the ring learning with errors problem

Joppe W. Bos, Craig Costello, Michael Naehrig, Douglas Stebila

MSR-TR-2014-107 | August 2014

Microsoft Research Blog

Practice and Theory of Security Reviews — Part 3

August 4, 2014 | Eugene Bobukh

Problem introduction and disclaimer > Security Review Heuristics Zoo > Part 3 — Reflections Or rather a few closing notes… Can you quantify “product security”? Usually when people start talking about “X being 23% more secure…

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

XRay: Increasing the Web’s Transparency with Differential Correlation

Towards reliable storage of 56-bit secrets in human memory

Towards reliable storage of 56-bit secrets in human memory (extended version)

Telepathwords: Preventing Weak Passwords by Reading Users’ Minds

Amortizing Garbled Circuits

How to Use Bitcoin to Design Fair Protocols

Constructing Abelian Surfaces for Cryptography via Rosenhain Invariants

U-Prove extensions

Post-quantum key exchange for the TLS protocol from the ring learning with errors problem

Practice and Theory of Security Reviews — Part 3

Security, privacy, and cryptography

Highlights